Logic Programming and PROLOG
Seiten
1995
|
2nd Revised edition
John Wiley & Sons Ltd (Verlag)
978-0-471-95996-0 (ISBN)
John Wiley & Sons Ltd (Verlag)
978-0-471-95996-0 (ISBN)
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
Offering concise explanations of theoretical concepts and a broad coverage of new developments, this text explores the use of logic as the basis for program development. PROLOG, the high-level programming language based on the concept of logic, is explained with plenty of exercises and examples.
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.
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.
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.
| Erscheint lt. Verlag | 16.8.1995 |
|---|---|
| Zusatzinfo | line drawings |
| Verlagsort | Chichester |
| Sprache | englisch |
| Maße | 166 x 243 mm |
| Gewicht | 560 g |
| Einbandart | Paperback |
| Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
| Mathematik / Informatik ► Informatik ► Theorie / Studium | |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| ISBN-10 | 0-471-95996-0 / 0471959960 |
| ISBN-13 | 978-0-471-95996-0 / 9780471959960 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Das Handbuch für Webentwickler
Buch | Hardcover (2023)
Rheinwerk (Verlag)
CHF 69,85
Grundlagen und praktische Anwendungen von Transpondern, kontaktlosen …
Buch (2023)
Hanser (Verlag)
CHF 125,95
