Logic Programming


Programming in Prolog: Using The Iso Standard
The Art of Prolog: Advanced Programming Techniques (Mit Press Series in Logic Programming)
Adventure in Prolog
PROLOG: Programming for Artificial Intelligence
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)
From Logic to Logic Programming (Foundations of Computing)
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