Commenting Prolog

[dougransom]

It would be interesting to have a chapter on commenting prolog. There seems to be some sort of syntax for comments I have seen in some of the scryer library code, and a way to express whether a predicate argument can be handled as input and/or output.

There must be some way to ask about a predicate's comments and/or its arguments comments so prolog code can reason about itself, and for predicate and argument comments to be modified when a predicate is wrapped somehow (macros? higher order predicates). Similar to Python's comment strings for functions and type hints for argument, and function decorators which can wrap functions, change comment strings, etc.