bsmith@iuvax.UUCP (Bruce T. Smith) (12/07/86)
I like that kind of comment, too. In the Prolog systems I've used, they are only comments, so it's safe to extend it a bit. For example: 1) Give multiple specifications when appropriate. E.g., foo(+X,-Y) and foo(-X,+Y) might make sense for a clause, and are not the same as foo(?X,?Y). 2) For some patterns of instantiated variables a particular argument may be ignored. I use a prefix '_', like the anonymous variable. 3) Use types, e.g., foo(+Int,-Float). __________________________________________________________ Bruce T. Smith, UUCP: bsmith@iuvax 101 Lindley Hall CSnet: bsmith@indiana.edu Indiana University Phone: (812) 335-2566 Bloomington, IN 47405