Symbolic Computing With Lisp and Prolog

By Robert A. Mueller and Rex L. Page

Book Overview

A practical introduction to symbolic computing and denotational programming. First part of the book covers programming. Second part addresses symbolic computing in such areas as game playing, language translation, and theorem proving. For each topic there are example problems, with proposed solutions, followed by working programs using the techniques presented earlier in the text. Two programs, using a denotational approach, accompany each of the applications in symbolic computing--one in Lisp and one in Prolog.

• Format: Paperback
• Language: English
• ISBN: 0471607711
• ISBN13: 9780471607717
• Release Date: November 1988
• Publisher: Wiley
• Length: 469 Pages
• Weight: 1.40 lbs.
• Dimensions: 0.9" x 6.3" x 9.2"