Logic Programming

Titles / Topics		Views
	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.	7676
	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.	3337
	Language, Proof and Logic [URL's removed] An introduction to some of the most important concepts and tools of logic and reasoning.	9416
	Learn Prolog Now! These lecture notes provides a basic, self-contained, clear introduction to Prolog, along with its practical aspects.	8838
	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.	7612
	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.	4691
	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.