Essentials of Logic Programming | Taschenbuch

Cover: 9780198538325 | Essentials of Logic Programming | Christopher John Hogger | Buch

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

80,35 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:

Beschreibung

Logic programming has developed into a broad discipline within computing science, contributing to such fields as artificial intelligence, new-generation computing, software engineering and deductive databases. This new book presents the fundamentals of logic programming from both practical and theoretical viewpoints. It also covers various extensions of the formalism, its relationship to Prolog, its formal semantics and its applications to program analysis and transformation. The text is illustrated throughout with numerous diagrams. The material is organized into sixty modular themes, permitting many kinds of course to be based upon it; and it includes nearly seventy pages of detailed answers to all of the exercises.

Inhaltsverzeichnis

Preface; Acknowledgements; Background (Themes 1-4); Overview (Themes 5-8); First-order logic (Themes 9-13); Clausal-form logic (Themes 14-18); Problem solving (Themes 19-22); The Herbrand domain (Themes 23-25); Resolution (Themes 26-30); Programming with SLD-resolution (Themes 31-39); Semantics of definite programs (Themes 40-47); Transforming and completing programs (Themes 48-53); Programming with finite failure (Themes 54-58); Verifying programs (Themes 59-60); Answers to exercises; Index.

Details

Erscheinungsjahr:	1990
Fachbereich:	Programmiersprachen
Genre:	Importe , Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	Kartoniert / Broschiert
ISBN-13:	9780198538325
ISBN-10:	0198538324
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Hogger, Christopher John
Hersteller:	OUP Oxford
Verantwortliche Person für die EU:	Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße:	234 x 156 x 17 mm
Von/Mit:	Christopher John Hogger
Erscheinungsdatum:	20.12.1990
Gewicht:	0,477 kg