You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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.
The text was updated successfully, but these errors were encountered: