object
print_goal_hook
Use this object to easily print entity predicate goals before, after, or before and after calling them.
Author: Paulo Moura
Version: 1:0:0
Date: 2020-03-14
Compilation flags:
static, context_switching_callsImplements:
public expandingRemarks:
Usage: Mark a goal to be printed by prefixing it with an operator. Printing uses a
commentmessage.To print goal before calling it:
- GoalTo print goal after calling it:
+ GoalTo print goal before and after calling it:
* GoalOperators: This hook object uses the standard
-and+prefix operators and also defines a global*prefix operator with the same type and priority.
Inherited public predicates:
Public predicates
(no local declarations; see entity ancestors if any)
Protected predicates
(no local declarations; see entity ancestors if any)
Private predicates
(no local declarations; see entity ancestors if any)
Operators
(none)