The art of Prolog : advanced programming techniques / by Sterling, Leon

Table of Contents: “…Part 1: Logic programs: basic constructs; database programming; recursive programming; the computation model of logic programs; theory of logic programs -- Part 2: The Prolog language: pure Prolog; programming in pure Prolog; arithmetic; structure inspection; meta-logical predicates; cuts and negation; extra-logical predicates; program development -- Part 3: Advanced Prolog programming techniques: nondeterministic programming; incomplete data structures; second-order programming; interpreters; program transformation; logic grammars; search techniques -- Part 4: Applications: game-playing programs; a credit evaluation expert system; an equation solver; a compiler. …”