Logic Programming Books

Showing 1-50 of 76
Programming in Prolog: Using The Iso Standard Programming in Prolog: Using The Iso Standard (Paperback)
by (shelved 5 times as logic-programming)
avg rating 3.68 — 104 ratings — published 1981
Rate this book
Clear rating
The Art of Prolog: Advanced Programming Techniques (Mit Press Series in Logic Programming) The Art of Prolog: Advanced Programming Techniques (Mit Press Series in Logic Programming)
by (shelved 3 times as logic-programming)
avg rating 4.02 — 59 ratings — published 1986
Rate this book
Clear rating
Adventure in Prolog Adventure in Prolog (Kindle Edition)
by (shelved 2 times as logic-programming)
avg rating 4.20 — 20 ratings — published
Rate this book
Clear rating
PROLOG: Programming for Artificial Intelligence PROLOG: Programming for Artificial Intelligence (Paperback)
by (shelved 2 times as logic-programming)
avg rating 3.82 — 200 ratings — published 1986
Rate this book
Clear rating
The Reasoned Schemer The Reasoned Schemer (Paperback)
by (shelved 2 times as logic-programming)
avg rating 4.25 — 228 ratings — published 2005
Rate this book
Clear rating
An Introduction to Logic Programming Through Prolog (Prentice Hall International Series in Computer Science) An Introduction to Logic Programming Through Prolog (Prentice Hall International Series in Computer Science)
by (shelved 2 times as logic-programming)
avg rating 2.50 — 2 ratings — published 1996
Rate this book
Clear rating
Learn Prolog Now! (Texts in Computing, Vol. 7) Learn Prolog Now! (Texts in Computing, Vol. 7)
by (shelved 2 times as logic-programming)
avg rating 3.63 — 49 ratings — published 2006
Rate this book
Clear rating
From Logic to Logic Programming (Foundations of Computing) From Logic to Logic Programming (Foundations of Computing)
by (shelved 2 times as logic-programming)
avg rating 4.22 — 9 ratings — published 1994
Rate this book
Clear rating
Foundations of logic programming (Symbolic computation) Foundations of logic programming (Symbolic computation)
by (shelved 2 times as logic-programming)
avg rating 4.57 — 7 ratings — published 1984
Rate this book
Clear rating
Logic for Problem Solving Logic for Problem Solving (Paperback)
by (shelved 2 times as logic-programming)
avg rating 4.40 — 5 ratings — published
Rate this book
Clear rating
Logik für Informatiker Logik für Informatiker (Paperback)
by (shelved 1 time as logic-programming)
avg rating 3.42 — 24 ratings — published 1992
Rate this book
Clear rating
Constraint Solving and Planning with Picat (SpringerBriefs in Intelligent Systems) Constraint Solving and Planning with Picat (SpringerBriefs in Intelligent Systems)
by (shelved 1 time as logic-programming)
avg rating 4.29 — 7 ratings — published 2015
Rate this book
Clear rating
Thinking as Computation: A First Course by Levesque Hector J. (2012-01-06) Hardcover Thinking as Computation: A First Course by Levesque Hector J. (2012-01-06) Hardcover
by (shelved 1 time as logic-programming)
avg rating 0.0 — 0 ratings — published
Rate this book
Clear rating
Warren's Abstract Machine: A Tutorial Reconstruction (Logic Programming Series) Warren's Abstract Machine: A Tutorial Reconstruction (Logic Programming Series)
by (shelved 1 time as logic-programming)
avg rating 3.75 — 8 ratings — published 1991
Rate this book
Clear rating
An Introduction to Prolog Programming An Introduction to Prolog Programming (Hardcover)
by (shelved 1 time as logic-programming)
avg rating 4.00 — 1 rating — published
Rate this book
Clear rating
Programming In Prolog Programming In Prolog (Paperback)
by (shelved 1 time as logic-programming)
avg rating 4.00 — 3 ratings — published
Rate this book
Clear rating
Applications of Prolog Applications of Prolog (ebook)
by (shelved 1 time as logic-programming)
avg rating 4.50 — 2 ratings — published
Rate this book
Clear rating
An Introduction to Programming in Prolog An Introduction to Programming in Prolog (Paperback)
by (shelved 1 time as logic-programming)
avg rating 3.33 — 3 ratings — published 1989
Rate this book
Clear rating
Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach (Hardcover)
by (shelved 1 time as logic-programming)
avg rating 4.12 — 8 ratings — published 2014
Rate this book
Clear rating
Knowledge Representation, Reasoning and Declarative Problem Solving Knowledge Representation, Reasoning and Declarative Problem Solving (Hardcover)
by (shelved 1 time as logic-programming)
avg rating 3.60 — 5 ratings — published 1999
Rate this book
Clear rating
Artificial Intelligence: Foundations of Computational Agents Artificial Intelligence: Foundations of Computational Agents (Hardcover)
by (shelved 1 time as logic-programming)
avg rating 3.65 — 34 ratings — published 2006
Rate this book
Clear rating
Prolog: The Standard : Reference Manual Prolog: The Standard : Reference Manual (Paperback)
by (shelved 1 time as logic-programming)
avg rating 3.00 — 2 ratings — published 1996
Rate this book
Clear rating
Negation and Control in Prolog (Lecture Notes in Computer Science (238)) Negation and Control in Prolog (Lecture Notes in Computer Science (238))
by (shelved 1 time as logic-programming)
avg rating 3.00 — 1 rating — published 1986
Rate this book
Clear rating
SWI Prolog Reference Manual 6.2.2 SWI Prolog Reference Manual 6.2.2 (Paperback)
by (shelved 1 time as logic-programming)
avg rating 3.00 — 1 rating — published 2012
Rate this book
Clear rating
Beginning Micro-PROLOG (Computers & Their Applications) Beginning Micro-PROLOG (Computers & Their Applications)
by (shelved 1 time as logic-programming)
avg rating 3.00 — 1 rating — published
Rate this book
Clear rating
Introduction to Turbo prolog Introduction to Turbo prolog (Paperback)
by (shelved 1 time as logic-programming)
avg rating 3.50 — 4 ratings — published
Rate this book
Clear rating
Logic with Prolog (Oxford Applied Mathematics and Computing Science Series) Logic with Prolog (Oxford Applied Mathematics and Computing Science Series)
by (shelved 1 time as logic-programming)
avg rating 3.00 — 1 rating — published 1988
Rate this book
Clear rating
Prolog and Natural-Language Analysis (Center for the Study of Language and Information Publication Lecture Notes) Prolog and Natural-Language Analysis (Center for the Study of Language and Information Publication Lecture Notes)
by (shelved 1 time as logic-programming)
avg rating 3.67 — 6 ratings — published 1987
Rate this book
Clear rating
Logic Programming with Prolog Logic Programming with Prolog (Paperback)
by (shelved 1 time as logic-programming)
avg rating 3.59 — 22 ratings — published 2005
Rate this book
Clear rating
Programacion En Micro-PROLOG (Spanish Edition) Programacion En Micro-PROLOG (Spanish Edition)
by (shelved 1 time as logic-programming)
avg rating 3.00 — 1 rating — published
Rate this book
Clear rating
Prolog: The Standard: Reference Manual Prolog: The Standard: Reference Manual (Paperback)
by (shelved 1 time as logic-programming)
avg rating 4.00 — 2 ratings — published 1996
Rate this book
Clear rating
Expert Systems in Prolog Expert Systems in Prolog (Kindle Edition)
by (shelved 1 time as logic-programming)
avg rating 4.67 — 6 ratings — published
Rate this book
Clear rating
Prolog (International Computer Science Series) (English and French Edition) Prolog (International Computer Science Series) (English and French Edition)
by (shelved 1 time as logic-programming)
avg rating 3.75 — 4 ratings — published 1986
Rate this book
Clear rating
Artificial Intelligence Through Prolog Artificial Intelligence Through Prolog (Hardcover)
by (shelved 1 time as logic-programming)
avg rating 3.75 — 4 ratings — published 1988
Rate this book
Clear rating
Prolog & Expert Systems Programming Prolog & Expert Systems Programming (Paperback)
by (shelved 1 time as logic-programming)
avg rating 4.20 — 5 ratings — published 1991
Rate this book
Clear rating
AI Algorithms, Data Structures, and Idioms in Prolog, Lisp, and Java AI Algorithms, Data Structures, and Idioms in Prolog, Lisp, and Java (Paperback)
by (shelved 1 time as logic-programming)
avg rating 3.75 — 12 ratings — published 2008
Rate this book
Clear rating
Building Expert Systems in Prolog (Springer Compass International) Building Expert Systems in Prolog (Springer Compass International)
by (shelved 1 time as logic-programming)
avg rating 4.14 — 7 ratings — published 1989
Rate this book
Clear rating
The Implementation of Prolog (Princeton Series in Computer Science) The Implementation of Prolog (Princeton Series in Computer Science)
by (shelved 1 time as logic-programming)
avg rating 4.00 — 3 ratings — published 1993
Rate this book
Clear rating
Adventure in Prolog (Springer Compass International) Adventure in Prolog (Springer Compass International)
by (shelved 1 time as logic-programming)
avg rating 4.00 — 1 rating — published 1990
Rate this book
Clear rating
Logic and Prolog Logic and Prolog (Hardcover)
by (shelved 1 time as logic-programming)
avg rating 3.50 — 2 ratings — published 1991
Rate this book
Clear rating
Prolog Programming in Depth Prolog Programming in Depth (Paperback)
by (shelved 1 time as logic-programming)
avg rating 3.83 — 6 ratings — published 1988
Rate this book
Clear rating
The Art of Prolog: Advanced Programming Techniques The Art of Prolog: Advanced Programming Techniques (Paperback)
by (shelved 1 time as logic-programming)
avg rating 3.88 — 42 ratings — published 1994
Rate this book
Clear rating
Knowledge Representation and Reasoning (The Morgan Kaufmann Series in Artificial Intelligence) Knowledge Representation and Reasoning (The Morgan Kaufmann Series in Artificial Intelligence)
by (shelved 1 time as logic-programming)
avg rating 3.74 — 47 ratings — published 1992
Rate this book
Clear rating
Clause and Effect: Prolog Programming for the Working Programmer Clause and Effect: Prolog Programming for the Working Programmer (Paperback)
by (shelved 1 time as logic-programming)
avg rating 4.00 — 14 ratings — published 1997
Rate this book
Clear rating
Prolog by Example: How to Learn, Teach and Use It (Artificial Intelligence) Prolog by Example: How to Learn, Teach and Use It (Artificial Intelligence)
by (shelved 1 time as logic-programming)
avg rating 5.00 — 1 rating — published 2011
Rate this book
Clear rating
First-Order Logic and Automated Theorem Proving (Texts in Computer Science) First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
by (shelved 1 time as logic-programming)
avg rating 4.60 — 5 ratings — published 1990
Rate this book
Clear rating
The Techniques of PROLOG Programming with Implementation of Logical Negation and Quantified Goals The Techniques of PROLOG Programming with Implementation of Logical Negation and Quantified Goals (Paperback)
by (shelved 1 time as logic-programming)
avg rating 5.00 — 1 rating — published
Rate this book
Clear rating
The Craft of Prolog (Logic Programming) The Craft of Prolog (Logic Programming)
by (shelved 1 time as logic-programming)
avg rating 4.32 — 25 ratings — published 1990
Rate this book
Clear rating
Techniques of Prolog Programming with Implementation of Logical Negation and Quantified Goals Techniques of Prolog Programming with Implementation of Logical Negation and Quantified Goals (Paperback)
by (shelved 1 time as logic-programming)
avg rating 4.25 — 4 ratings — published 1992
Rate this book
Clear rating
The Practice of Prolog (Logic Programming) The Practice of Prolog (Logic Programming)
by (shelved 1 time as logic-programming)
avg rating 3.71 — 7 ratings — published 1990
Rate this book
Clear rating

Goodreads is hiring!

If you like books and love to build cool products, we may be looking for you.
Learn more »

“Toda decisão tem por base um julgamento de valor.”
Bruno Emerson Gurgel Gomes, Fundamentos de Lógica e Algoritmos: Caderno de Aulas