Prolog by Ryan Stansifer
This note describes the following topics: Prolog programming: facts, queries, variables, rules, recursion, Backward chaining, Cut, Data structures: functors and lists, Unification, Relation to logic: not a theorem prover, closed-world assumption, Relation to logic: horn clauses and skolemization, linear resolution.
Author(s): Ryan Stansifer
172 Pages 
Prolog Step by Step by Graeme Ritchie
This PDF covers the following topics related to Prolog : Introduction, How Do You Learn A Programming Language, Defining your own procedures, Variables, Tests, Returning results by instantiation, “Facts”, Simple tracing, Backtracking in more detail, Summary so far, Circularity and loops.
Author(s): Graeme Ritchie
28 Pages
Quick Prolog by Dave Robertson
This PDF covers the following topics related to Prolog : Getting Started, Standard Programming Style, Prolog Terms, Unification, Expressing disjunctive subgoals, Evaluating numerical expressions, Negation, Cuts, Using Cuts to Specify Defaults, Just One More Thing About Cuts, Some Common Techniques, Efficiency Considerations, Definite Clause Grammars.
Author(s): Dave Robertson
35 Pages
Prolog Programming by Paul Brna
The contents include: Introduction, Knowledge Representation, Prolog’s Search Strategy, Unification, Recursion and Lists, The Box Model of Execution, Programming Techniques and List Processing, Control and Negation, Parsing in Prolog, Modifying the Search Space, Prolog Syntax, Operators, Advanced Features.
Author(s): Paul Brna
197 Pages
This note provides an introduction to logic programming and PROLOG for beginners but also cover some advanced topics.
Author(s): Roman Bartak
NA Pages
