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 ...
Read More
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).
Read Less
Add this copy of Foundations of Logic Programming (Symbolic Computation to cart. $16.43, good condition, Sold by Wonder Book - Member ABAA/ILAB rated 5.0 out of 5 stars, ships from Frederick, MD, UNITED STATES, published 1986 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Good condition. A copy that has been read but remains intact. May contain markings such as bookplates, stamps, limited notes and highlighting, or a few light stains.
Add this copy of Foundations of Logic Programming to cart. $20.23, fair condition, Sold by ThriftBooks-Atlanta rated 5.0 out of 5 stars, ships from Austell, GA, UNITED STATES, published 1984 by Springer.
Add this copy of Foundations of Logic Programming (Symbolic Computation) to cart. $20.25, good condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 1984 by Springer-Verlag.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Add this copy of Foundations of Logic Programming (Symbolic Computation) to cart. $27.12, good condition, Sold by Blue Vase Books rated 5.0 out of 5 stars, ships from Interlochen, MI, UNITED STATES, published 1993 by Springer.
Add this copy of Foundations of Logic Programming (Symbolic Computation) to cart. $28.82, good condition, Sold by BooksRun rated 5.0 out of 5 stars, ships from Philadelphia, PA, UNITED STATES, published 1993 by Springer.
Add this copy of Foundations of Logic Programming to cart. $57.00, very good condition, Sold by Boards and Wraps rated 3.0 out of 5 stars, ships from Baltimore, MD, UNITED STATES, published 1984 by Springer-Verlag.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good with no dust jacket. 0387132996. Light rubbing and toning overall and some soiling. Photos upon request. International shipping billed at cost.; Symbolic Computation; Large 8vo 9"-10" tall; 124 pages.
Add this copy of Foundations of Logic Programming to cart. $57.38, poor condition, Sold by Anybook rated 4.0 out of 5 stars, ships from Lincoln, UNITED KINGDOM, published 1987 by Springer Verlag.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
This is an ex-library book and may have the usual library/used-book markings inside. This book has hardback covers. Book contains pencil markings. In poor condition, suitable as a reading copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item, 600grams, ISBN: 0387181997.
Add this copy of Foundations of Logic Programming (Symbolic Computation to cart. $61.03, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1986 by Not Avail.
Add this copy of Foundations of Logic Programming (Symbolic Computation) to cart. $63.94, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1984 by Springer-Verlag.
Add this copy of Foundations of Logic Programming (Symbolic Computation: to cart. $73.32, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1987 by Springer-Verlag.
