This work introduces Prolog, beginning with the logical principles underlying the language, going on to explain how to apply these principles in the data structures of programming, how to utilize deduction and how to exercise control by means of lists, sets, recursion and operators. A free instructor's manual is available on request from the publisher, which contains all the answers and alternative solutions to the exercises as well as common mistakes which arise.
Sprache
Verlagsort
Verlagsgruppe
Pearson Education Limited
Zielgruppe
Für höhere Schule und Studium
Illustrationen
bibliography, references, appendices, index
Maße
Höhe: 134 mm
Breite: 155 mm
Gewicht
ISBN-13
978-0-7450-1023-6 (9780745010236)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Klassifikation
Part 1 Logic - the foundation of analysis: structure; logical status; conditions and conditionals; names and predicates; quantifier and variable. Part 2 Prolog - analysis in action: beginning Prolog; backtracking, negation and errors; structuring information; lists; using numbers; introducing recursion. Part 3 Logic - the art of deduction: reasoning; assumptions, strategy; reasoning further; generalizations; reasoning with existence; further topics. Part 4 Prolog - logic plus control: lists and sets; recursion and control; operators - truth and proof; engines of inference; towards natural language.
