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 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
An Introduction to Prolog Programming Lecture Notes
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. Topics covered includes: Prolog Syntax, Working with Lists, Working with Numbers, Working with Operators, Backtracking, Cuts and Negation, Logic Foundations of Prolog and Recursive Programming.
Author(s): Ulle Endriss
80 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
