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,342
Discovery Miles 33 420
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,342 Discovery Miles 33 420 | Repayment Terms: R313 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,457 Discovery Miles 24 570
C++ Programming - Program Design…
D. Malik Paperback R1,660 R1,434 Discovery Miles 14 340
C++ How to Program: Horizon Edition
Harvey Deitel, Paul Deitel Paperback R1,821 Discovery Miles 18 210
Dark Silicon and Future On-chip Systems…
Suyel Namasudra, Hamid Sarbazi-Azad Hardcover R3,991 Discovery Miles 39 910
FORTRAN 90 for Scientists and Engineers
Brian Hahn Paperback R1,460 R1,363 Discovery Miles 13 630
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,276 Discovery Miles 12 760
Prolog Programming for Artificial…
Ivan Bratko Paperback R2,234 Discovery Miles 22 340
Objects First with Java: A Practical…
David Barnes Paperback R2,434 Discovery Miles 24 340
Advanced SQL with SAS
Christian F. G. Schendera Hardcover R2,483 Discovery Miles 24 830
A Day in Code- Python - Learn to Code in…
Shari Eskenas Hardcover R647 Discovery Miles 6 470
CSS and HTML for beginners - A Beginners…
Ethan Hall Hardcover R907 Discovery Miles 9 070

See more

Partners