1
Download context/2 - bei IF Computer
Transcript
set_default_module/1 Predicate Module concept Set current module set_default_module( +Module ) The predicate set_default_module/1 sets the current module to Module. All goals entered in the input loop of IF/Prolog (see break/0) are executed in the context of the current module. Arguments Module Atom, name of a module Exceptions instantiation_error The argument Module must not be a variable, but a variable was specified. type_error(atom) The argument Module must be an atom, but is a term of another type. existence_error(module) The argument Module is not the name of an existing module. existence_error(module_body) The argument Module specifies a module for which no body exists. permission_error(access,system_module) The predicate set_default_module/1 must not be executed for a system module. Hints When IF/Prolog starts, the built-in module user is the current module. In the input loop of IF/Prolog (break/0), the current module is always shown in the prompt. Standard This predicate is not required by the ISO standard for Prolog. Therefore, it is not available in ISO compatibility mode (see Prolog flag iso). See also module/1, current module/1, current default module/1 IF/Prolog V5.3 479 Reference Manual
