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 
Introduction to Prolog by Steve Harlow
This note covers the following topics: database Prolog, Pure Prolog, Full Prolog and program examples.
Author(s): Steve Harlow
47 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
The objective of this lecture note is to introduce you to the most basic concepts of the Prolog programming language.
Author(s): Lehel Csato
NA Pages
Prolog implementation of a graphic tool for generation of Ada language specifications
The purpose of this note is to evaluate the suitability of Prolog in the implementation of a graphic tool for design and specification of Ada programs.
Author(s): Spencer Shu-tsu Cheng
70 Pages
