:- use_module(library(pengines)).
src_text
and
src_url
optionsModule | is a new temporary module (see in_temporary_module/3) that may be (further) prepared by this hook. |
Application | (also a module) associated to the pengine. |
Options | is passed from the environment and should (currently) be ignored. |