This section gives guidelines and tips on reading and writing prolog code, and how to think about prolog code in general.

Examples

fac(0,1).

fac(A,B) :- A > 0, C is A-1, fac(C,D), B is A*D.

Exercises