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

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.

An Introduction to Logic Programming Through Prolog

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.

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.

forall x: An Introduction to Formal Logic

An open access introductory textbook in formal logic. It covers translation, proofs, and formal semantics for sentential and predicate logic.

forall x: An Introduction to Formal Logic

An open access introductory textbook in formal logic. It covers translation, proofs, and formal semantics for sentential and predicate logic.

Introduction to Digital Logic with Laboratory Exercises

An introduction to digital logic, starting with simple gates and building up to state machines.

Introduction to Digital Logic with Laboratory Exercises

An introduction to digital logic, starting with simple gates and building up to state machines.

Introduction to Prolog Programming

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.

Introduction to Prolog Programming

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.

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

These lecture notes provides a basic, self-contained, clear introduction to Prolog, along with its practical aspects.

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

These 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

An 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

An 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

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.

Logic, Programming and Prolog, Second Edition

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.

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.

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.

Prolog Experiments in Discrete Mathematics, Logic, and Computability

This book contains programming experiments that are designed to reinforce the learning of discrete mathematics, logic, and computability.

Prolog Experiments in Discrete Mathematics, Logic, and Computability

This book contains programming experiments that are designed to reinforce the learning of discrete mathematics, logic, and computability.

Prolog Programming: A First Course

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.

Prolog Programming: A First Course

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.

The First 10 Prolog Programming Contests

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

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

Computer Science
16
Introduction to Computer Science
32
Introduction to Computer Programming
52
Algorithms and Data Structures
25
Artificial Intelligence
24
Computer Vision
31
Machine Learning
6
Neural Networks
22
Game Development and Multimedia
25
Data Communication and Networks
5
Coding Theory
16
Computer Security
9
Information Security
35
Cryptography
3
Information Theory
17
Computer Organization and Architecture
22
Operating Systems
2
Image Processing
11
Parallel Computing
4
Concurrent Programming
24
Relational Database
3
Document-oriented Database
14
Data Mining
17
Big Data
18
Data Science
23
Digital Libraries
22
Compiler Design and Construction
26
Functional Programming
13
Logic Programming
27
Object Oriented Programming
22
Formal Methods
71
Software Engineering
3
Agile Software Development
7
Information Systems
5
Geographic Information System (GIS)

Mathematics
68
Mathematics
14
Algebra
1
Abstract Algebra
27
Linear Algebra
3
Number Theory
8
Numerical Methods
2
Precalculus
10
Calculus
3
Differential Equations
5
Category Theory
11
Proofs
20
Discrete Mathematics
24
Theory of Computation
15
Graph Theory
2
Real Analysis
1
Complex Analysis
15
Probability
48
Statistics
7
Game Theory
5
Queueing Theory
13
Operations Research
16
Computer Aided Mathematics

Supporting Fields
21
Web Design and Development
1
Mobile App Design and Development
28
System Administration
2
Cloud Computing
12
Electric Circuits
7
Embedded System
28
Signal Processing
4
Network Science
3
Project Management

Operating System
Programming/Scripting
6
Ada
13
Assembly
34
C / C++
8
Common Lisp
2
Forth
35
Java
13
JavaScript
1
Lua
15
Microsoft .NET
1
Rexx
12
Perl
6
PHP
69
Python
12
R
1
Rebol
13
Ruby
2
Scheme
3
Tcl/Tk

Miscellaneous
Most Popular Books

402,655
Introduction to Objective Caml
216,092
Notes for the Course of Algorithms
188,197
Lessons In Electric Circuits
171,336
A Beginners C++
134,820
Introduction to Object-Oriented Programming Using C++
127,103
A Short Introduction to Operating Systems
125,835
Data Structures and Algorithms with Object-Oriented Design Patterns in C++
122,118
Programming The Nintendo Game Boy Advance: The Unofficial Guide
117,507
C Programming Tutorial (K&R version 4)
116,676
Computer Organization and Design Fundamentals