Logic and PROLOG
Richard Spencer-Smith(Author)
Prentice-Hall (Publisher)
Published on 1. April 1991
Book
Paperback/Softback
400 pages
978-0-7450-1023-6 (ISBN)
Description
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.
More details
Language
English
Place of publication
Harlow
United Kingdom
Publishing group
Pearson Education Limited
Target group
College/higher education
Illustrations
bibliography, references, appendices, index
Dimensions
Height: 134 mm
Width: 155 mm
Weight
523 gr
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 Classification
Other editions
Previous edition
Richard Spencer-Smith
Logic and PROLOG
Book
04/1991
Prentice Hall / Harvester Wheatsheaf
€75.71
Article exhausted; check for reprint
Content
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.