Symbolic Computing W/lisp+prolog

Partial table of contents: Lisp. Prolog, and Denotational Programming. LISP. Functions. More List Manipulation Functions. Naming Partial Results: let. Debugging. Pumping. Input and Output. Numbers. PROLOG. Propositional Facts, Rules, and Queries. Unification: How the Interpreter Instantiates Variables. Propagation and Accumulation of Results. And/Or Control Flow. Not. Generating All Solutions Using bagof and setof. Built-In Relations for Program File Access and Transformation of Terms. Numbers. Declarative and Procedural Semantics of Logic Programs. LISP VS. PROLOG. Lisp vs. Prolog: How Do They Relate'. APPLICATIONS. Two-Opponent Games. Automated Theorem Proving. Index.Mueller, Robert A. is the author of 'Symbolic Computing W/lisp+prolog' with ISBN 9780471607717 and ISBN 0471607711.