Symbolic Computing with LISP and PROLOG

Mueller, Robert A.; Page, Rex L.

ISBN 10: 0471607711 / ISBN 13: 9780471607717

Published by Wiley, 1988

About this Item

This item shows signs of wear from consistent use, but it remains in good condition and works perfectly. All pages and cover are intact , but may have aesthetic issues such as small tears, bends, scratches, and scuffs. Spine may also show signs of wear. Pages may include some notes and highlighting. May include "From the library of" labels. Satisfaction Guaranteed. Seller Inventory # 4BQGBJ00TT76_ns

Bibliographic Details

Title: Symbolic Computing with LISP and PROLOG

Publisher: Wiley

Publication Date: 1988

Binding: paperback

Condition: Good

About this title

Synopsis:

A practical introduction to symbolic computing and denotational programming is offered in this book. The first part covers programming, and the 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.