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 categoriesBooks under this sub-category (13 books)
An Introduction to Logic Programming Through Prolog
Post date: 25 Oct 2004Introduces 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.
An Introduction to Logic Programming Through Prolog
Post date: 25 Oct 2004Introduces 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.
Post date: 29 Apr 2008
An introduction to the programming language Prolog. Assumes no previous knowledge of programming.
An introduction to the programming language Prolog. Assumes no previous knowledge of programming.
Publication date: 26 Sep 2004
Post date: 29 Apr 2008An 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 2017An 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
Publication date: 06 Jan 2012
License: Creative Commons Attribution-ShareAlike 3.0 Unported
Document Type: Textbook
forall x: An Introduction to Formal Logic
Post date: 06 May 2017An 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
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 2017An 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
Publication date: 18 Oct 2010
License: Creative Commons Attribution 3.0 Unported
Document Type: Textbook
Introduction to Digital Logic with Laboratory Exercises
Post date: 07 May 2017An 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
Publication date: 18 Oct 2010
License: Creative Commons Attribution 3.0 Unported Document Type: Textbook
Introduction to Prolog Programming
Post date: 14 Jul 2010These 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
Post date: 14 Jul 2010These 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 2005These lecture notes provides a basic, self-contained, clear introduction to Prolog, along with its practical aspects.
Learn Prolog Now! (Texts in Computing, Vol. 7)
Post date: 29 Jul 2005These lecture notes provides a basic, self-contained, clear introduction to Prolog, along with its practical aspects.
Logic For Computer Science - Foundations of Automatic Theorem Proving
Post date: 09 Sep 2006An introduction to mathematical logic, with an emphasis on proof theory and procedures for constructing formal proofs of formulae algorithmically.
Logic For Computer Science - Foundations of Automatic Theorem Proving
Post date: 09 Sep 2006An introduction to mathematical logic, with an emphasis on proof theory and procedures for constructing formal proofs of formulae algorithmically.
Logic, Programming and Prolog, Second Edition
Post date: 25 Oct 2004Introduces 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.
Logic, Programming and Prolog, Second Edition
Post date: 25 Oct 2004Introduces 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.
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.
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
Post date: 18 Aug 2006This 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
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.
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
Post date: 25 Sep 2007An 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 2008This 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
Document Type: Book
Prolog Experiments in Discrete Mathematics, Logic, and Computability
Post date: 16 Apr 2008This 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
Document Type: Book
Prolog Programming: A First Course
Post date: 25 Oct 2004Intended 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
Post date: 25 Oct 2004Intended 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 2007This 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
Post date: 01 Oct 2007This 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
Computer Science
Introduction to Computer Science
Introduction to Computer Programming
Algorithms and Data Structures
Artificial Intelligence
Computer Vision
Machine Learning
Neural Networks
Game Development and Multimedia
Data Communication and Networks
Coding Theory
Computer Security
Information Security
Cryptography
Information Theory
Computer Organization and Architecture
Operating Systems
Image Processing
Parallel Computing
Concurrent Programming
Relational Database
Document-oriented Database
Data Mining
Big Data
Data Science
Digital Libraries
Compiler Design and Construction
Functional Programming
Logic Programming
Object Oriented Programming
Formal Methods
Software Engineering
Agile Software Development
Information Systems
Geographic Information System (GIS)
Mathematics
Mathematics
Algebra
Abstract Algebra
Linear Algebra
Number Theory
Numerical Methods
Precalculus
Calculus
Differential Equations
Category Theory
Proofs
Discrete Mathematics
Theory of Computation
Graph Theory
Real Analysis
Complex Analysis
Probability
Statistics
Game Theory
Queueing Theory
Operations Research
Computer Aided Mathematics
Supporting Fields
Web Design and Development
Mobile App Design and Development
System Administration
Cloud Computing
Electric Circuits
Embedded System
Signal Processing
Integration and Automation
Network Science
Project Management
Operating System
Programming/Scripting
Ada
Assembly
C / C++
Common Lisp
Forth
Java
JavaScript
Lua
Rexx
Microsoft .NET
Perl
PHP
R
Python
Rebol
Ruby
Scheme
Tcl/Tk
Miscellaneous
Most Popular Books
429,244
Introduction to Objective Caml
244,319
Notes for the Course of Algorithms
234,916
Lessons In Electric Circuits
208,127
[No longer available] A Beginners C++
162,192
Introduction to Object-Oriented Programming Using C++
160,120
A Short Introduction to Operating Systems
159,394
Data Structures and Algorithms with Object-Oriented Design Patterns in C++
155,293
C Programming Tutorial (K&R version 4)
152,800
Computer Organization and Design Fundamentals
147,840
Programming The Nintendo Game Boy Advance: The Unofficial Guide
Sponsors