Paperback. In the two and a half years since the frrst edition of this book was published, the field of logic programming has grown rapidly. Consequently, it seemed advisable to try to expand the subject matter covered in the first edition. The new material in the second edition has a strong database flavour, which reflects my own research interests over the last three years. However, despite the fact that the second edition has about 70% more material than the first edition, many worthwhile topic!! are still missing. I can only plead that the field is now too big to expect one author to cover everything. In the second edition, I discuss a larger class of programs than that discussed in the first edition. Related to this, I have also taken the opportunity to try to improve some of the earlier terminology. Firstly, I introduce "program statements", which are formulas of the form A+-W, where the head A is an atom and the body W is an arbitrary formula. A "program" is a finite set of program statements. There are various restrictions of this class. "Normal" programs are ones where the body of each program statement is a conjunction of literals. (The terminology "general", used in the first edition, is obviously now inappropriate). In the two and a half years since the frrst edition of this book was published, the field of logic programming has grown rapidly. In the second edition, I discuss a larger class of programs than that discussed in the first edition. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.

Seller Inventory # 9783642831911

Contact seller

Report this item

Bibliographic Details

Title: Foundations of Logic Programming (Paperback)
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin
Publication Date: 2011
Language: English
ISBN 10: 3642831915
ISBN 13: 9783642831911
Binding: Paperback
Edition: 2nd Edition
Condition: new

About this title

Synopsis

This is the second edition of the first book to give an account of the mathematical foundations of Logic Programming. The topics covered include the semantics of various classes of programs, the semantics of perpetual processes, and the foundations of Deductive Database Systems. The book contains many illustrative examples and over 100 problems.

"About this title" may belong to another edition of this title.

Store Description

Visit Seller's Storefront

Seller's business information

The Nile Group Pty Ltd
42 Apex Drive, Truganina, VIC, 3029, Australia

Sale & Shipping Terms

Terms of Sale

We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.

Right of cancellation

Shipping Terms

Please note that titles are dispatched from our UK and NZ warehouse. Delivery times specified in shipping terms. Orders ship within 2 business days. Delivery to your door then takes 8-15 days.

Shipping rates from Australia to U.S.A.

Shipping rates from Australia to U.S.A.
Order quantity	25 to 45 business days	8 to 14 business days
First item	� 27.57	� 32.79

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.