This is a set of reasonable guidelines for formatting Prolog programs, freely
adapted from Caml guidelines and M. Covington’s Prolog coding guidelines. They
aim at reflecting the consensus among the programmers of the Lifeware
I have recently been porting some of my GNU Prolog code to both SWI Prolog and
Here is a simple attempt at synthesizing some of what I learnt from that
experience, especially as far as building executables is concerned.