Foundations of Logic Programming - Rilegato

Lloyd, J.W.

 
9783540181996: Foundations of Logic Programming

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

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

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

9783642831911: Foundations of Logic Programming

Edizione in evidenza

ISBN 10:  3642831915 ISBN 13:  9783642831911
Casa editrice: Springer, 2011
Brossura