10 Mar 2005
CS 3243 - FOL and Prolog
38
Interpretation of Rules
lRules can be given a declarative reading or a procedural reading.
H   :-   G1,   G2,   …,   Gn.
“That H is provable follows from goals G1, G2, …, Gn being provable.”
“To execute procedure H, the procedures called by goals G1, G2, …, Gn are executed first.”
Declarative reading:
Procedural reading:
Form of rule: