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 team.
Nicotine Is a COnstraint-based T and p-INvariant Extractor. Besides being a famous alkaloid found in tobacco, Nicotine (Nicotine Is a COnstraint-based T and p-INvariant Extractor) is a (GNU Prolog) program that computes a Petri-net’s invariants by using Constraint Programming and has grown to encompass many other utilities.
I have recently been porting some of my GNU Prolog code to both SWI Prolog and SICStus Prolog.
Here is a simple attempt at synthesizing some of what I learnt from that experience, especially as far as building executables is concerned.