Home Contents Index Summary Previous Next

B.4 Hooks for integrating libraries

Some libraries realise an entirely new programming paradigm on top of Prolog. An example is XPCE which adds an object-system to Prolog as well as an extensive set of graphical primitives. SWI-Prolog provides several hooks to improve the integration of such libraries. See also section 4.4 for editing hooks and section 4.9.3 for hooking into the message system.

prolog_list_goal(:Goal)
Hook, normally not defined. This hook is called by the 'L' command of the tracer in the module user to list the currently called predicate. This hook may be defined to list only relevant clauses of the indicated Goal and/or show the actual source-code in an editor. See also portray/1 and multifile/1.

prolog:debug_control_hook(:Action)
Hook for the debugger-control predicates that allows the creator of more high-level programming languages to use the common front-end predicates to control de debugger. For example, XPCE uses these hooks to allow for spying methods rather then predicates. Action is one of:

spy(Spec)
Hook in spy/1. If the hook succeeds spy/1 takes no further action.

nospy(Spec)
Hook in nospy/1. If the hook succeeds spy/1 takes no further action. If spy/1 is hooked, it is advised to place a complementary hook for nospy/1.

nospyall
Hook in nospyall/0. Should remove all spy-points. This hook is called in a failure-driven loop.

debugging
Hook in debugging/0. It can be used in two ways. It can report the status of the additional debug-points controlled by the above hooks and fail to let the system report the others or it succeed, overruling the entire behaviour of debugging/0.

prolog:help_hook(+Action)
Hook into help/0 and help/1. If the hook succeeds, the built-in actions are not executed. For example, ?- help(picture). is caught by the XPCE help-hook to give help on the class picture. Defined actions are:

help
User entered plain help/0 to give default help. The default performs help(help/1), giving help on help.

help(What)
Hook in help/1 on the topic What.

apropos(What)
Hook in apropos/1 on the topic What.