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,355
Discovery Miles 33 550
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,355 Discovery Miles 33 550 | Repayment Terms: R314 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 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,551 Discovery Miles 25 510
C++ Programming - Program Design…
D. Malik Paperback R1,751 R1,615 Discovery Miles 16 150
C++ How to Program: Horizon Edition
Harvey Deitel, Paul Deitel Paperback R1,917 Discovery Miles 19 170
Dark Silicon and Future On-chip Systems…
Suyel Namasudra, Hamid Sarbazi-Azad Hardcover R4,186 Discovery Miles 41 860
FORTRAN 90 for Scientists and Engineers
Brian Hahn Paperback R1,440 Discovery Miles 14 400
Java How to Program, Late Objects…
Paul Deitel, Harvey Deitel Paperback R900 R750 Discovery Miles 7 500
Advanced Visual Basic 6 - Power…
Matthew Curland, Gary Clarke Paperback R1,349 Discovery Miles 13 490
CSS and HTML for beginners - A Beginners…
Ethan Hall Hardcover R1,115 R950 Discovery Miles 9 500
Basic Python Commands - Learn the Basic…
Manuel Mcfeely Hardcover R847 R730 Discovery Miles 7 300
CSS For Beginners - The Best CSS Guide…
Ethan Hall Hardcover R971 R833 Discovery Miles 8 330
Coding for Kids in Python - Python…
Bob Mather Hardcover R917 Discovery Miles 9 170
C Programming For Beginners - The Simple…
Tim Warren Hardcover R597 R541 Discovery Miles 5 410

See more

Partners