Foundations of Logic Programming Symbolic Computation Artificial Intelligence

John W. Lloyd

ISBN 10: 3540181997 / ISBN 13: 9783540181996

Editore: Springer, 1993

Ausreichend/Acceptable: Exemplar mit vollständigem Text und sämtlichen Abbildungen oder Karten. Schmutztitel oder Vorsatz können fehlen. Einband bzw. Schutzumschlag weisen unter Umständen starke Gebrauchsspuren auf. / Describes a book or dust jacket that has the complete text pages (including those with maps or plates) but may lack endpapers, half-title, etc. (which must be noted). Binding, dust jacket (if any), etc may also be worn. Codice articolo M03540181997-B

Riassunto:

This is the second edition of an account of the mathematical foundations of logic programming. Its purpose is to collect, in a unified and comprehensive manner, the basic theoretical results of the field, which have previously only been available in widely scattered research papers. In addition to presenting the technical results, the book also contains many illustrative examples and problems. The text is intended to be self-contained, the only prerequisites being some familiarity with PROLOG and knowledge of some basic undergraduate mathematics. The material is suitable either as a reference book for researchers or as a textbook for a graduate course on the theoretical aspects of logic programming and deductive database systems.

Contenuti: Contents: Preliminaries.- Definite Programs.- Normal Programs.- Programs.- Deductive Databases.- Perpetual Processes.- References.- Notation.- Index.

Dati bibliografici

Titolo: Foundations of Logic Programming Symbolic ...
Casa editrice: Springer
Data di pubblicazione: 1993
Legatura: Rilegato
Condizione: acceptable
Edizione: seconda edizione