## Logic, Programming and PrologFound within the confines of these pages is a well-written monograph that provides an intuitive account of both the foundations of logic programming and simple programming techniques in Prolog. Only the most important areas of logic programming are considered. The book covers foundations, programming in logic, and alternative logic programming schemes. Within each of these sections are comprehensive explorations covering areas such as SLD-resolution, negation in logic programming, logic and databases, logic and expert systems, logic and grammars, logic programming and concurrency, logic programs with equality, and constraint logic programming. In addition, there are bibliographical notes and answers to selected exercises. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Preliminaries | 3 |

Definite Logic Programs | 21 |

SLDResolution | 37 |

Copyright | |

14 other sections not shown

### Common terms and phrases

3-gallon jug argument arithmetic atomic formulas beth bill binary binary relation binding called Chapter comp(P complete computed answer substitution Consider the following consists constants constraints construction contains DCGs defined definite clause denoted derivation described diff(Xo disagreement pair discussed domain empty equations equivalent expert system father(X Figure finitely failed functors goal clause goal-state grammar ground terms Herbrand base Herbrand interpretation Herbrand universe implementation inference rule infinite initial goal instance integers intended model least Herbrand model leftmost logic pro logic programming logical consequence means meta-language natural numbers negation negative literals node nonterminal normal programs notion object-language obtained possible predicate logic predicate symbol problem program clause programming languages Prolog systems proof rabbit recursive refutation relational algebra relational databases represented selected subgoal semantics sentences SLD-resolution SLD-tree SLDNF-derivation solve(X solved stratified programs string structures subgoal succeeds theorem transition relation tree true tuples unifier universally quantified variables