Logic Programming


Programming in Prolog: Using The Iso Standard
Adventure in Prolog
The Reasoned Schemer
An Introduction to Logic Programming Through Prolog (Prentice Hall International Series in Computer Science)
Learn Prolog Now! (Texts in Computing, Vol. 7)
The Art of Prolog: Advanced Programming Techniques (Mit Press Series in Logic Programming)
Blank 133x176
Foundations of logic p...
 
by
J.W. Lloyd
Blank 133x176
Logic for Problem Solving
 
by
Robert Kowalski
Logik für Informatiker
Constraint Solving and Planning with Picat (SpringerBriefs in Intelligent Systems)
Thinking as Computation: A First Course by Levesque Hector J. (2012-01-06) Hardcover
Warren's Abstract Machine: A Tutorial Reconstruction (Logic Programming Series)
An Introduction to Prolog Programming
Programming In Prolog
Blank 133x176
Applications of Prolog
 
by
Attila Csenki