Logic Programming

The use of mathematical logic for computer programming. Logic is used as a purely declarative representation language, and a theorem-prover or model-generator is used as the problem-solver.

All categories

Books under this sub-category (13 books)

An Introduction to Logic Programming Through Prolog

Post date: 25 Oct 2004
Introduces logic programming, combining three essential components: the declarative nature of logic itself, the programming techniques needed to write effective programs, and the efficient implementation of logic programming by computer.
Publisher: Prentice Hall
Publication date: 01 Mar 1996
 
An Introduction to Logic Programming Through Prolog

An Introduction to Logic Programming Through Prolog

Post date: 25 Oct 2004
Introduces logic programming, combining three essential components: the declarative nature of logic itself, the programming techniques needed to write effective programs, and the efficient implementation of logic programming by computer.
Publisher: Prentice Hall
Publication date: 01 Mar 1996


An Introduction to Prolog

Post date: 29 Apr 2008
An introduction to the programming language Prolog. Assumes no previous knowledge of programming.
Publication date: 26 Sep 2004
 
An Introduction to Prolog

An Introduction to Prolog

Post date: 29 Apr 2008
An introduction to the programming language Prolog. Assumes no previous knowledge of programming.
Publication date: 26 Sep 2004


forall x: An Introduction to Formal Logic

Post date: 06 May 2017
An open access introductory textbook in formal logic. It covers translation, proofs, and formal semantics for sentential and predicate logic.
Publisher: Lulu.com
Publication date: 06 Jan 2012
License: Creative Commons Attribution-ShareAlike 3.0 Unported
Document Type: Textbook
 
forall x: An Introduction to Formal Logic

forall x: An Introduction to Formal Logic

Post date: 06 May 2017
An open access introductory textbook in formal logic. It covers translation, proofs, and formal semantics for sentential and predicate logic.
Publisher: Lulu.com
Publication date: 06 Jan 2012
License: Creative Commons Attribution-ShareAlike 3.0 Unported Document Type: Textbook


Introduction to Digital Logic with Laboratory Exercises

Post date: 07 May 2017
An introduction to digital logic, starting with simple gates and building up to state machines.
Publisher: Global Text Project
Publication date: 18 Oct 2010
License: Creative Commons Attribution 3.0 Unported
Document Type: Textbook
 
Introduction to Digital Logic with Laboratory Exercises

Introduction to Digital Logic with Laboratory Exercises

Post date: 07 May 2017
An introduction to digital logic, starting with simple gates and building up to state machines.
Publisher: Global Text Project
Publication date: 18 Oct 2010
License: Creative Commons Attribution 3.0 Unported Document Type: Textbook


Introduction to Prolog Programming

Post date: 14 Jul 2010
These lecture notes introduce the declarative programming language Prolog. The emphasis is on learning how to program, rather than on the theory of logic programming. Nevertheless, a short chapter on the logic foundations of Prolog is included as well.
Publication date: 01 Jul 2007
 
Introduction to Prolog Programming

Introduction to Prolog Programming

Post date: 14 Jul 2010
These lecture notes introduce the declarative programming language Prolog. The emphasis is on learning how to program, rather than on the theory of logic programming. Nevertheless, a short chapter on the logic foundations of Prolog is included as well.
Publication date: 01 Jul 2007


Learn Prolog Now! (Texts in Computing, Vol. 7)

Post date: 29 Jul 2005
These lecture notes provides a basic, self-contained, clear introduction to Prolog, along with its practical aspects.
Publisher: College Publications
Publication date: 15 Jun 2006
 
Learn Prolog Now! (Texts in Computing, Vol. 7)

Learn Prolog Now! (Texts in Computing, Vol. 7)

Post date: 29 Jul 2005
These lecture notes provides a basic, self-contained, clear introduction to Prolog, along with its practical aspects.
Publisher: College Publications
Publication date: 15 Jun 2006


Logic For Computer Science - Foundations of Automatic Theorem Proving

Post date: 09 Sep 2006
An introduction to mathematical logic, with an emphasis on proof theory and procedures for constructing formal proofs of formulae algorithmically.
Publisher: Dover Publications
Publication date: 18 Jun 2015
Document Type: Textbook
 
Logic For Computer Science - Foundations of Automatic Theorem Proving

Logic For Computer Science - Foundations of Automatic Theorem Proving

Post date: 09 Sep 2006
An introduction to mathematical logic, with an emphasis on proof theory and procedures for constructing formal proofs of formulae algorithmically.
Publisher: Dover Publications
Publication date: 18 Jun 2015
Document Type: Textbook


Logic, Programming and Prolog, Second Edition

Post date: 25 Oct 2004
Introduces topics such as concurrency and equational and constraint logic programming. Balances between a clear and authoritative treatment of the theory and a practical, problem-solving approach to its applications.
Publisher: John Wiley & Sons
Publication date: 01 Aug 1995
 
Logic, Programming and Prolog, Second Edition

Logic, Programming and Prolog, Second Edition

Post date: 25 Oct 2004
Introduces topics such as concurrency and equational and constraint logic programming. Balances between a clear and authoritative treatment of the theory and a practical, problem-solving approach to its applications.
Publisher: John Wiley & Sons
Publication date: 01 Aug 1995


prolog :- tutorial

Post date: 18 Aug 2006
This tutorial is intended to be used to help learn the essential, basic concepts of Prolog. The sample programs have been especially chosen to help promote the use of Prolog programming in an artificial intelligence course.
Publication date: 31 Dec 2004
 
prolog :- tutorial

prolog :- tutorial

Post date: 18 Aug 2006
This tutorial is intended to be used to help learn the essential, basic concepts of Prolog. The sample programs have been especially chosen to help promote the use of Prolog programming in an artificial intelligence course.
Publication date: 31 Dec 2004


Prolog and Logic Programming

Post date: 25 Sep 2007
An introduction to logic programming. This course starts with Prolog, because it is believed that it is easier to learn the theory if the reader has an idea of how it might relate to a practical instance of the theory.
Publication date: 31 Dec 1998
 
Prolog and Logic Programming

Prolog and Logic Programming

Post date: 25 Sep 2007
An introduction to logic programming. This course starts with Prolog, because it is believed that it is easier to learn the theory if the reader has an idea of how it might relate to a practical instance of the theory.
Publication date: 31 Dec 1998


Prolog Experiments in Discrete Mathematics, Logic, and Computability

Post date: 16 Apr 2008
This book contains programming experiments that are designed to reinforce the learning of discrete mathematics, logic, and computability.
Publication date: 01 Jan 2005
Document Type: Book
 
Prolog Experiments in Discrete Mathematics, Logic, and Computability

Prolog Experiments in Discrete Mathematics, Logic, and Computability

Post date: 16 Apr 2008
This book contains programming experiments that are designed to reinforce the learning of discrete mathematics, logic, and computability.
Publication date: 01 Jan 2005
Document Type: Book


Prolog Programming: A First Course

Post date: 25 Oct 2004
Intended for undergraduate students who have some programming experience and may even have written a few programs in Prolog. Requires no knowledges in any formal course in either propositional or predicate logic.
Publication date: 01 May 1999
 
Prolog Programming: A First Course

Prolog Programming: A First Course

Post date: 25 Oct 2004
Intended for undergraduate students who have some programming experience and may even have written a few programs in Prolog. Requires no knowledges in any formal course in either propositional or predicate logic.
Publication date: 01 May 1999


The First 10 Prolog Programming Contests

Post date: 01 Oct 2007
This book shows solutions to problems that were in the first 10 Prolog Programming Contests from 1994 to 2004. Some basic Prolog programming skills are required.
Publication date: 01 Sep 2005
 
The First 10 Prolog Programming Contests

The First 10 Prolog Programming Contests

Post date: 01 Oct 2007
This book shows solutions to problems that were in the first 10 Prolog Programming Contests from 1994 to 2004. Some basic Prolog programming skills are required.
Publication date: 01 Sep 2005


Book Categories
Sponsors