A rule expresses something dynamic, i.e., something that can be computed.
A consists of a term followed by a period:
Consider the following facts:
// A structure graph(graph1, [Cat]). graph(graph2, [Dog]). // A string "It is raining.". // An identifier AlfredWasWise.
Structures are the most useful kind of terms to be used for facts.
PrevLite: 6.3 Variables
NextLite: 6.5 Rules, Goals and Subgoals
Prev: 6.3 Variables
Up: 6 Prolog for CG users
Next: 6.5 Rules, Goals and Subgoals