Clause and effect. Prolog programming for the working programmer
This book may be viewed as an advanced presentation of Prolog programming and as a continuation of the book ``Programming in Prolog, \textit{W. F. Clocksin} and \textit{C. S. Mellish} 4th edition (1994; Zbl 0805.68022). Of course, as the author said in the Preface, it is useful for the programmers to consult first ``Prolog: The Standard, \textit{P. Deransart}, \textit{A. Ed-Dbali} and \textit{L. Cervoni} (1996; Zbl 0844.68017). The book is not concerned about the particular features of the language nor about Prolog programming skills or techniques in general. Of course, he presents a relative pure subset of Prolog programming, which includes the `cut', but no input/output, no assert/retract, no syntactic extensions such as if-then-else and grammar rules and built-in predicates apart from arithmetic operations. Maybe it was better if the book should contains details about tail recursion of the predicates and some more details about negation of the predicates. The subset of Prolog used in this book is compliant with ISO Standard Prolog. We like the idea to present and discuss the examples in that worksheets. He adapted many examples from the Ivan Bratko's book ``Prolog Programming for Artificial Intelligence. He explains very clear lists and binary trees giving some interesting examples. The main deserved thing is, in our opinion, that this book contains many novel applications solved in Prolog. We remind some of them: Manipulation of Combinational and Clocked Sequential; Circuits, Symbolic Algebra; A Compiler for Three Model Computers; The Fast Fourier Transform in Prolog; Higher-Order Functional Programming. We are sure that this book will have an excellent ``Effect due to ``Clauses.
This page was built for publication: Clause and effect. Prolog programming for the working programmer
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4353338)
