do***entation
What are good guidelines for do***entation of my prolog
programs? And when do***enting 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?
|