Foundations of logic programming

Lloyd, John W.:

ISBN 10: 3540181997 / ISBN 13: 9783540181996

Edité par Berlin; Heidelberg; New York; London; Paris; Tokyo : Springer, 1987

A propos de cet article

XII, 212 p. Good condition. The pages are clean and without markings. Slight signs of storage and use. Retired library copy with corresponding markings. Otherwise, a neat copy. 9783540181996 Sprache: Englisch Gewicht in Gramm: 1000.

N° de réf. du vendeur 314519

Détails bibliographiques

• Titre: Foundations of logic programming
• Éditeur: Berlin; Heidelberg; New York; London; Paris; Tokyo : Springer
• Date de parution: 1987
• Langue: anglais
• ISBN à 10 chiffres: 3540181997
• ISBN à 13 chiffres: 9783540181996
• Reliure: Hardcover
• Édition: 2. Edition.
• Catalogues du vendeur:
  • Informatik

A propos de ce titre

Synopsis

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.