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

Library usage:
:- use_package(isomodes). or :- module(...,...,[isomodes]).
New operators defined:
?/1 [200,fy], @/1 [200,fy].
New modes defined:
+/1, -/1, ?/1, @/1, +/2, -/2, ?/2, @/2.
Implicit imports:
- System library modules:
  meta_props.
- Packages:
  prelude, initial, condcomp, assertions, assertions/assertions_basic, metaprops, hiord.

Documentation on new modes

MODE+/1

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

Usage:-A

The following properties are added at call time:
(term_typing:var/1)A is a free variable.

MODE?/1

Unspecified argument.

MODE@/1

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.
The following properties are added globally:
(basic_props:not_further_inst/2)A is not further instantiated.

MODE+/2

Usage:A+X

The following properties are added at call time:
(meta_props:call/2)A has property X.

MODE-/2

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:
(meta_props:call/2)A has property X.

MODE?/2

Usage:?(A,X)

Call and exit are compatible with:
(meta_props:call/2)A has property X.
The following properties are added upon exit:
(meta_props:call/2)A has property X.

MODE@/2

Usage:@(A,X)

The following properties are added at call time:
(meta_props:call/2)A has property X.
The following properties are added upon exit:
(meta_props:call/2)A has property X.
The following properties are added globally:
(basic_props:not_further_inst/2)A is not further instantiated.