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.
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
Published by Thriftbooks.com User , 25 years ago
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.
Published by Thriftbooks.com User , 26 years ago
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.
ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.