|Did you know ...||Search Documentation:|
|Pack rtchecks -- prolog/rtchecks_rt.pl|
pred :- body.
is executed as if where transformed to:
pred :- "check entry...", "check exit...", 'pred$rtc1'.
'pred$rtc1' :- "check compat pre..." "check calls...", "check success pre", "check comp..."( 'pred$rtc2', "check success pos", "check compat pos..." 'pred$rtc2' :- body.
However the current implementation is an interpreter, rather than a compiler, since SWI-Prolog is fully dynamic and the status of a module could change at run-time. A future improvement could be to apply a partial evaluator to the interpreter.
The following predicates are exported, but not or incorrectly documented.