Goodreads helps you keep track of books you want to read.
Start by marking “From Logic to Logic Programming” as Want to Read:
From Logic to Logic Programming
Enlarge cover
Rate this book
Clear rating
Open Preview

From Logic to Logic Programming

4.33  ·  Rating Details ·  6 Ratings  ·  0 Reviews
This mathematically oriented introduction to the theory of logic programming presents a systematic exposition of the resolution method for propositional, first-order, and Horn- clause logics, together with an analysis of the semantic aspects of the method. It is through the inference rule of resolution that both proofs and computations can be manipulated on computers, and ...more
Hardcover
Published January 11th 1994 by Mit Press
More Details... edit details

Friend Reviews

To see what your friends thought of this book, please sign up.

Reader Q&A

To ask other readers questions about From Logic to Logic Programming, please sign up.

Be the first to ask a question about From Logic to Logic Programming

This book is not yet featured on Listopia. Add this book to your favorite list »

Community Reviews

(showing 1-23)
filter  |  sort: default (?)  |  Rating Details
John
John rated it really liked it
Oct 17, 2014
Kira
Kira rated it it was amazing
Sep 27, 2009
Jovany Agathe
Jovany Agathe rated it really liked it
Nov 26, 2016
Jose_A.
Jose_A. rated it really liked it
Jan 22, 2012
Brian Peterson
Brian Peterson rated it it was amazing
Jul 25, 2014
Gerhardt Sobriquet
Gerhardt Sobriquet rated it really liked it
May 27, 2015
Vishal Belsare
Vishal Belsare marked it as to-read
Apr 26, 2012
Martisch
Martisch marked it as to-read
Feb 03, 2013
Daniel Boloc
Daniel Boloc marked it as to-read
Nov 01, 2014
Iamxfc
Iamxfc marked it as to-read
Dec 20, 2014
Lewis Cawthorne
Lewis Cawthorne marked it as to-read
Dec 23, 2014
Telorian
Telorian marked it as to-read
Feb 03, 2013
HadeeSoft BulanCerah
HadeeSoft BulanCerah marked it as to-read
Mar 01, 2015
Tangent Touch
Tangent Touch marked it as to-read
Apr 23, 2015
Octipi
Octipi marked it as to-read
Jun 27, 2015
Sandy Vanderbleek
Sandy Vanderbleek marked it as to-read
Dec 12, 2015
K.
K. marked it as to-read
Mar 28, 2016
Hélène
Hélène marked it as to-read
May 30, 2016
Bondoc Alina
Bondoc Alina marked it as to-read
Oct 02, 2016
Raphael Rodrigues
Raphael Rodrigues marked it as to-read
Dec 28, 2016
John
John marked it as to-read
Jan 11, 2017
There are no discussion topics on this book yet. Be the first to start one »

Goodreads is hiring!

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

Share This Book