ISO-Prolog modes

Author(s): Daniel Cabeza, Manuel Hermenegildo.

Version: 1.5#118 (2000/4/19, 18:13:43 CEST)

Version of last change: 1.3#112 (1999/11/23, 1:8:50 MET)

This file defines the " modes" used in the documentation of the ISO-Prolog standard. See also section Classical Prolog modes for an alternative set of modes.

• Usage and interface (isomodes)
• Documentation on new modes (isomodes)

Usage and interface (isomodes)

Documentation on new modes (isomodes)

MODE: +/1:

Usage: + A

• The following properties are added at call time: A is currently a term which is not a free variable. (term_typing:nonvar/1)

MODE: @/1:

Usage: @(A)

• The following properties are added globally: A is not further instantiated. (basic_props:not_further_inst/2)

MODE: -/1:

Usage: - A

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

MODE: ?/1:

Unspecified argument.

MODE: */1:

Unspecified argument.

MODE: +/2:

Usage: A + X

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

MODE: @/2:

Usage: @(A,X)

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

MODE: -/2:

Usage: A - X

• The following properties are added at call time: A is a free variable. (term_typing:var/1)
• The following properties are added upon exit: A has property X. (meta_props:call/2)

MODE: ?/2:

Usage: ?(A,X)

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

MODE: */2:

Usage: A * X

• Call and exit are compatible with: A has property X. (meta_props:call/2)

Go to the first, previous, next, last section, table of contents.