Symbolic Computing with LISP and PROLOG

by Robert A. Mueller and Rex L. Page

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...

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

Customer Reviews

Splendid!

Robert Mueller has the best, most understandable and down right well written book on this subject I have ever laid eyes on. This book helped me understand more about the subject without ever making it sound tedious or dull. Thank you Mr. Mueller. Admirable work.

Well written and straight to the point

This book is useful for those that need more information about LISP and Prolog, and for my class regarding the subject at OSU, it makes perfect sense

Symbolic Computing With Lisp and Prolog is a very useful.

I prefer Symbolic Computing With Lisp and Prolog much more than other books which I have read concerning the subject. It is quite informative, and even has a touch of humor from time to time.