Code Layout

Generally, separate different predicate definitions by at least one blank line. The general structure is:

 
File Header

(space)

Predicate Header

Head of Clause :-

			Indented Subgoal

			...

			Indented Subgoal

Head of Clause :-

...

Head of Clause :-

			Indented Subgoal

			...

			Indented Subgoal

(space)

Predicate Header

...