Dale patterson 2012-02-28 02:27:22
What are good guidelines for documentation of my prolog
programs? And when documenting a predicate, I am assuming that a + signifies
that the variable must be instantiated, a – signifies that it need not be.
Is this correct and are there other symbols I am not aware of?