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.
Author(s): J. Michael Spivey
Publication date: 01 Mar 1996
Tags: Logic Programming
 
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.
Author(s): J. Michael Spivey
Publication date: 01 Mar 1996
Tags: Logic Programming


An Introduction to Prolog

Post date: 29 Apr 2008
An introduction to the programming language Prolog. Assumes no previous knowledge of programming.
Author(s): Helen Pain Tim Smith
Publication date: 26 Sep 2004
Tags: Logic Programming
 
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.
Author(s): Helen Pain Tim Smith
Publication date: 26 Sep 2004
Tags: Logic Programming


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.
Author(s): P.D. Magnus
Publication date: 06 Jan 2012
License: Creative Commons Attribution-ShareAlike 3.0 Unported
Document Type: Textbook
Tags: Formal Methods Logic Programming
 
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.
Author(s): P.D. Magnus
Publication date: 06 Jan 2012
License: Creative Commons Attribution-ShareAlike 3.0 Unported
Document Type: Textbook
Tags: Formal Methods Logic Programming


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.
Author(s): James Feher
Publication date: 18 Oct 2010
License: Creative Commons Attribution 3.0 Unported
Document Type: Textbook
Tags: Electric Circuits Logic Programming
 
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.
Author(s): James Feher
Publication date: 18 Oct 2010
License: Creative Commons Attribution 3.0 Unported
Document Type: Textbook
Tags: Electric Circuits Logic 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.
Author(s): Ulle Endriss
Publication date: 01 Jul 2007
Tags: Logic Programming
 
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.
Author(s): Ulle Endriss
Publication date: 01 Jul 2007
Tags: Logic Programming


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.
Author(s): Patrick Blackburn Johan Bos Kristina Striegnitz
Publication date: 15 Jun 2006
Tags: Logic Programming
 
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.
Author(s): Patrick Blackburn Johan Bos Kristina Striegnitz
Publication date: 15 Jun 2006
Tags: Logic Programming


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.
Author(s): Jean H. Gallier
Publication date: 30 Nov -0001
Tags: Logic Programming Proofs
 
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.
Author(s): Jean H. Gallier
Publication date: 30 Nov -0001
Tags: Logic Programming Proofs


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.
Author(s): Jan Mauszynski Ulf Nilsson
Publication date: 01 Aug 1995
Tags: Logic Programming
 
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.
Author(s): Jan Mauszynski Ulf Nilsson
Publication date: 01 Aug 1995
Tags: Logic Programming


prolog :- tutorial

Post date: 17 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.
Author(s): J. R. Fisher
Publication date: 31 Dec 2004
Tags: Logic Programming
 
prolog :- tutorial

prolog :- tutorial

Post date: 17 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.
Author(s): J. R. Fisher
Publication date: 31 Dec 2004
Tags: Logic Programming


Prolog and Logic Programming

Post date: 24 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.
Author(s): Peter Hancox
Publication date: 31 Dec 1998
Tags: Logic Programming
 
Prolog and Logic Programming

Prolog and Logic Programming

Post date: 24 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.
Author(s): Peter Hancox
Publication date: 31 Dec 1998
Tags: Logic Programming


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.
Author(s): James Hein
Publication date: 01 Jan 2005
Tags: Logic Programming
 
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.
Author(s): James Hein
Publication date: 01 Jan 2005
Tags: Logic Programming


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.
Author(s): Paul Brna
Publication date: 01 May 1999
Tags: Logic Programming
 
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.
Author(s): Paul Brna
Publication date: 01 May 1999
Tags: Logic Programming


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.
 
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.

Book Categories