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