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.
"synopsis" may belong to another edition of this title.
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.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Foundations of Logic Programming (Symbolic computation/Artif...
Seller Image
Foundations of logic programming
Published by
Berlin; Heidelberg; New York; London; Paris; Tokyo : Springer, 1987
ISBN 10: 3540181997
ISBN 13: 9783540181996
Used
Hardcover
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germany
Seller rating 5 out of 5 stars
Hardcover. 2. Edition. 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. Seller Inventory # 314519
Seller Image
Foundations of logic programming.
Published by
[Lieu de publication non identifié], Springer, 1993
ISBN 10: 3540181997
ISBN 13: 9783540181996
Used
Hardcover
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
Hardcover. 212 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. D03442 3540181997 Sprache: Englisch Gewicht in Gramm: 550. Seller Inventory # 2513137
Stock Image
Foundations of Logic Programming
Seller: Better World Books: West, Reno, NV, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. 2nd. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Seller Inventory # 53348011-75
Stock Image
Foundations of Logic Programming (Symbolic Computation)
Published by
Springer (edition Second, Extended Edition), 1993
ISBN 10: 3540181997
ISBN 13: 9783540181996
Used
Hardcover
Seller: BooksRun, Philadelphia, PA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. Second, Extended Edition. It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience. Seller Inventory # 3540181997-11-1
Seller Image
Foundations of Logic Programming (Symbolic Computation).
Published by
Berlin, Heidelberg, New York: Springer-Verlag, 1987
ISBN 10: 3540181997
ISBN 13: 9783540181996
Used
Hardcover
Seller: Antiquariat Bernhardt, Kassel, Germany
Seller rating 5 out of 5 stars
gebundene Ausgabe. Condition: Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XII, 212 Seiten, Englisch 516g. Seller Inventory # 492703
Stock Image
Foundations of Logic Programming (Symbolic Computation)
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Seller Inventory # 41119981/202
Stock Image
Foundations of Logic Programming (Symbolic Computation)
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Seller Inventory # 41119981/203
Stock Image
Foundations of Logic Programming (Symbolic Computation / Artificial Intelligence)
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: Good. Good. Dust Jacket NOT present. CD WILL BE MISSING. . SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA82935401819972
Buy Used
£ 223
£ 25 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Foundations of Logic Programming (Symbolic Computation)
Seller: Toscana Books, AUSTIN, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Seller Inventory # Scanned3540181997