Symbolic Computing with LISP and PROLOG

Download or read book Symbolic Computing with LISP and PROLOG written by Robert A. Mueller and published by . This book was released on 1988-11-25 with total page 494 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.