The use of logic as the basis for program development is motivated by the possibilities it offers for achieving greater program correctness. PROLOG is a high-level programming language based on the concept of logic. This text offers a concise treatment of the theory of logic programming and a practical, problem-solving approach to its applications. It introduces major new developments in a continually evolving field, including topics such as concurrency, equational logic programming and constraint logic programming. The text has been revised to include a chapter on the negation problem, normal logic programs, completion semantics and SLDNF - resolution for Stratified Programs and Non-stratified Programs. Additional changes can be found within chapter 14, with its new focus on constraints; constraint domains and concurrent constraint programming.
Auflage
Sprache
Verlagsort
Verlagsgruppe
Zielgruppe
Für höhere Schule und Studium
Editions-Typ
Illustrationen
Maße
Höhe: 24.3 cm
Breite: 16.6 cm
Gewicht
ISBN-13
978-0-471-95996-0 (9780471959960)
Schweitzer Klassifikation
PART I - Foundations: Preliminaries; Definite Logic Programs; SLD-Resolution; Negation in Logic Programming; Towards Prolog - Cut and Arithmetic; PART II - Programming in Logic: Logic and Databases; Programming with Recursive Data Structures; Amalgamating Object- and Meta-Language; Logic and Expert Systems; Logic and Grammars; Searching in a State-Space; PART III - Alternative Logic Programming Schemes: Logic Programming and Concurrency; Logic Programs with Equality; Constraint Logic Programming; Query-Processing in Deductive Databases.
