A clause of the form

head :- tail.

where head is a goal , and tail is the sequence of goals, separated by commas, that the rule says head is reducible to.

See Overall structure of Strawberry Prolog 'programs' and Prolog text execution .