Symbolic Computing with LISP and 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.