ISO-Prolog modes
Author(s): Daniel Cabeza, Manuel Hermenegildo.
This file defines the “modes” used in the documentation of the ISO-Prolog standard. See also Classical Prolog modes for an alternative set of modes.
Usage and interface
Documentation on new modes
MODE
+/1:
(True) Usage:+A
- The following properties are added at call time:
(term_typing:nonvar/1)A is currently a term which is not a free variable.
MODE
-/1:
(True) Usage:-A
- The following properties are added at call time:
(term_typing:var/1)A is a free variable.
MODE
@/1:
(True) Usage:@A
- The following properties are added globally:
(basic_props:not_further_inst/2)A is not further instantiated.
MODE
+/2:
(True) Usage:A+X
- The following properties are added at call time:
(undefined property)undefined:call(X,A)
MODE
-/2:
(True) Usage:A-X
- The following properties are added at call time:
(term_typing:var/1)A is a free variable. - The following properties are added upon exit:
(undefined property)undefined:call(X,A)
MODE
?/2:
(True) Usage:A?X
- Call and exit are compatible with:
(undefined property)undefined:call(X,A) - The following properties are added upon exit:
(undefined property)undefined:call(X,A)
MODE
@/2:
(True) Usage:@(A,X)
- The following properties are added at call time:
(undefined property)undefined:call(X,A) - The following properties are added upon exit:
(undefined property)undefined:call(X,A) - The following properties are added globally:
(basic_props:not_further_inst/2)A is not further instantiated.
