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...
Stock Image
Foundations of Logic Programming
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. 2nd. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 15559454-6
Buy Used
£ 29.57
£ 5 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)
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: Very Good. Second, Extended Edition. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting. Seller Inventory # 3540181997-11-1
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 copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 53348011-75
Seller Image
Foundations of Logic Programming (Symbolic Computation)
Seller: Amnesty Bookshop London, London, United Kingdom
Seller rating 5 out of 5 stars
Fine condition hardback. Second, extended edition. Proceeds to Amnesty International. Seller Inventory # KT0112
Stock Image
Foundations of Logic Programming Symbolic Computation Artificial Intelligence
Seller: medimops, Berlin, Germany
Seller rating 5 out of 5 stars
Condition: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. Seller Inventory # M03540181997-G
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 (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
Condition: Sehr gut. 2nd, extended ed. XII, 212 Seiten, Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 516 gebundene Ausgabe gebundene Ausgabe. Seller Inventory # 492703
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)
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 / 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
£ 140
£ 25 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available