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
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
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
Logic, Programming and Prolog, 2nd Edition (Ulf Nilsson/Jan Maluszynski)
Currently this section contains no detailed description for the page, will update this page soon.
Author(s):
Pages
Prolog and Natural Language Analysis (Fernando Pereira/Stuart M. Shieber)
Currently this section contains no detailed description for the page, will update this page soon.
Author(s):
PagesAdvertisement
