Programming in Prolog"Originally published in 1981, this was the first textbook on programming in the Prolog language and is still the definitive introductory text on Prolog. Though many Prolog textbooks have been published since, this one has withstood the test of time because of its comprehensiveness, tutorial approach, and emphasis on general programming applications. Prolog has continued to attract a great deal of interest in the computer science community, and has turned out to be a basis for an important new generation of programming languages and systems for Artificial Intelligence. Since the previous edition of Programming in Prolog, the language has been standardised by the International Organization for Standardization (ISO) and this book has been updated accordingly. The authors have also introduced some new material, clarified some explanations, corrected a number of minor errors, and removed appendices about Prolog systems that are now obsolete." - From Publisher. |
Contents
Tutorial Introduction | 1 |
A Closer Look | 25 |
Using Data Structures | 47 |
Copyright | |
14 other sections not shown
Other editions - View all
Programming in Prolog: Using the ISO Standard William F. Clocksin,Christopher S. Mellish Limited preview - 2012 |
Common terms and phrases
alternative answer append arithmetic expression Arity attempt to satisfy backtracking boundary condition brackets built-in predicates CALIFORNIA SAN DIEGO called Chapter character clausal form consider current input database define a predicate definition display element empty list example EXIT extra arguments fact findall formula functor gensym given goal fails goal succeeds grammar rules head Horn Clauses infix insertion sort integer John logic logic programming look Mary match means member(X notation noun phrase object occurs check offspring output parse tree place-marker possible Predicate Calculus pretty-print problem Prolog implementations Prolog program Prolog searches Prolog system proposition Pythagorean triples question Quicksort recursive REDO represent result Route SAN DIEGO CALIFORNIA second argument second clause Section sentence sequence solution specify spy points Standard Prolog stream subgoals syntax tail term terminal translated unify uninstantiated variable universal quantifiers UNIVERSITY verb phrase words write