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.
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.
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.