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_calls
Implements:
public
expandingRemarks:
Usage: Mark a goal to be printed by prefixing it with an operator. Printing uses a
comment
message.To print goal before calling it:
- Goal
To print goal after calling it:
+ Goal
To print goal before and after calling it:
* Goal
Operators: 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)