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.
Sprache
Verlagsort
Verlagsgruppe
Zielgruppe
Für höhere Schule und Studium
Für Beruf und Forschung
Illustrationen
Maße
Gewicht
ISBN-13
978-0-471-60771-7 (9780471607717)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Klassifikation
LISP; PROLOG and denotational programming; LISP - notations for data in LISP; functions; building lists and extracting components; more list manipulation functions; a lenient function: "if"; naming partial results: "let"; recursion; debugging; more lenient functions: "and, or"; pumping; divide and conquer; input and output; higher order functions; numbers; PROLOG - notation for data and variables in PROLOG; propositional facts, rules, and queries; relations containing variables; unification: how the interpreter instantiates variables; recursion; propagation and accumulation of results; divide and conquer; "and/or" control flow; saving computation with embedded "or" control; "not"; backtracking; generating all solutions using "Bagof" and "Setof"; inhibiting backtracking; built-in relations for program file access and transformation of terms; program construction and debugging; numbers; input and output; declarative and procedural semantics of logic prog
