1
Download context/2 - bei IF Computer
Transcript
Module concept Language construct :/2 Specify the module of the called predicate +Module : +Predicate ’:’( +Module, +Predicate ) This notation indicates that execution of Predicate is to be based on its visibility in Module. It is not necessary for Predicate to have been exported from this module or for Module to have been imported in the current module. The definition of the same predicate in the current module or in another imported module is ignored. Predicate must not be a language construct or a qualified predicate. Arguments Module Predicate Atom, name of a module Atom or structure Exceptions The possible errors relating to this notation are detected and reported by IF/Prolog during interpretation of a goal (call/1) or on insertion in the database (asserta/1/2, etc.). Hints The atom ’:’ is defined as an infix operator. A predicate call cannot be qualified more than once with :. Standard This language construct is not required by the ISO standard for Prolog. Therefore, it is not available in ISO compatibility mode (see Prolog flag iso). See also @/2, call/1, module/1, import/1/2, export/1, reexport/1/2 Reference Manual 52 IF/Prolog V5.3
