Prolog/Reading and Writing code

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

Examples edit

fac(0,1).

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

Exercises edit


previous: Cuts and Negation next: Difference Lists