Foundations of Logic Programming

This is a further edition of the first book to give 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 Logic Programming, 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. Some of them are part of the folklore of Logic Programming and are not easily obtainable elsewhere. The book 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 text book for a graduate course on the theoretical aspects of Logic Programming and Deductive Database Systems.

Product details

• Authors: John W. Lloyd
• Publisher: Springer, Berlin
• Languages: English
• Product format: Hardback
• Released: 01.01.1993
• EAN: 9783540181996
• ISBN: 978-3-540-18199-6
• No. of pages: 212
• Weight: 486 g
• Illustrations: w. 10 figs.
• Series: Artificial Intelligence
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > Programming languages