0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Programming languages

Buy Now

Foundations of Logic Programming (Paperback, 2nd ed. 1987. Softcover reprint of the original 2nd ed. 1987) Loot Price: R3,096
Discovery Miles 30 960
Foundations of Logic Programming (Paperback, 2nd ed. 1987. Softcover reprint of the original 2nd ed. 1987): John W. Lloyd

Foundations of Logic Programming (Paperback, 2nd ed. 1987. Softcover reprint of the original 2nd ed. 1987)

John W. Lloyd

Series: Symbolic Computation

 (sign in to rate)
Loot Price R3,096 Discovery Miles 30 960 | Repayment Terms: R290 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 working days

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).

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Symbolic Computation
Release date: December 2011
First published: 1987
Authors: John W. Lloyd
Dimensions: 244 x 170 x 12mm (L x W x T)
Format: Paperback
Pages: 212
Edition: 2nd ed. 1987. Softcover reprint of the original 2nd ed. 1987
ISBN-13: 978-3-642-83191-1
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > Computer programming > Programming languages > General
Books > Computing & IT > Applications of computing > Artificial intelligence > General
Promotions
LSN: 3-642-83191-5
Barcode: 9783642831911

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Problem Solving with C++ - Global…
Walter Savitch Paperback R2,548 Discovery Miles 25 480
Introducing Delphi Programming - Theory…
John Barrow, Linda Miller, … Paperback  (1)
R751 Discovery Miles 7 510
C++ Programming - Program Design…
D. Malik Paperback R1,646 R1,523 Discovery Miles 15 230
Dark Silicon and Future On-chip Systems…
Suyel Namasudra, Hamid Sarbazi-Azad Hardcover R3,940 Discovery Miles 39 400
FORTRAN 90 for Scientists and Engineers
Brian Hahn Paperback R1,359 Discovery Miles 13 590
Introduction to Computational Economics…
Hans Fehr, Fabian Kindermann Hardcover R4,258 Discovery Miles 42 580
Advanced Visual Basic 6 - Power…
Matthew Curland, Gary Clarke Paperback R1,273 Discovery Miles 12 730
Advanced SQL with SAS
Christian F. G. Schendera Hardcover R2,458 Discovery Miles 24 580
A Day in Code- Python - Learn to Code in…
Shari Eskenas Hardcover R635 Discovery Miles 6 350
Coding for Kids in Python - Python…
Bob Mather Hardcover R851 Discovery Miles 8 510
Advanced Python Commands - Become a…
Manuel Mcfeely Hardcover R781 R685 Discovery Miles 6 850
CSS and HTML for beginners - A Beginners…
Ethan Hall Hardcover R1,027 R881 Discovery Miles 8 810

See more

Partners