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