| Topics |
Views |
 |
|
Advertisements |
|
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.
|
22025 |
|
An Introduction to Prolog
An introduction to the programming language Prolog. Assumes no previous knowledge of programming.
|
9395 |
|
Inductive Logic Programming - Techniques and Applications
Covers empirical inductive logic programming, one of the two major subfields of ILP, which has its application potential in knowledge acquisition, inductive program synthesis, inductive data engineering, and knowledge discovery in databases.
|
13515 |
|
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.
|
10747 |
|
Language, Proof and Logic [URL's removed]
An introduction to some of the most important concepts and tools of logic and reasoning.
|
17919 |
|
Learn Prolog Now!
These lecture notes provides a basic, self-contained, clear introduction to Prolog, along with its practical aspects.
|
17856 |
|
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.
|
14744 |
|
prolog :- tutorial
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.
|
20929 |
|
Prolog and Logic Programming
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.
|
10720 |
|
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.
|
6681 |
|
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.
|
16736 |
|
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.
|
7762 |
|
|
Advertisements |
