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 
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
An Introduction to Prolog Programming
This note covers the following topics in prolog: Facts about prolog, query in Prolog system, prolog Programs, Matching, Programming Style, Internal Representation, The Bar Notation, Appending Lists, Arithmetic Expressions in Prolog, Matching vs. Arithmetic Evaluation, Relations, Defining Operators, Backtracking, Cuts and Negation.
Author(s): Prof. Hugh Murrell
72 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
This note provides an introduction to logic programming and PROLOG for beginners but also cover some advanced topics.
Author(s): Roman Bartak
NA Pages
