ISO-Prolog modes

Author(s): Daniel Cabeza, Manuel Hermenegildo.

Version: 1.11#222 (2004/5/24, 13:8:7 CEST)

Version of last change: 1.9#292 (2004/2/16, 14:52:52 CET)

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: undefined:call(X,A) (undefined property)

MODE: @/2:

Usage: @(A, X)

• The following properties are added at call time: undefined:call(X,A) (undefined property)
• The following properties are added upon exit: undefined:call(X,A) (undefined property)
• 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: undefined:call(X,A) (undefined property)

MODE: ?/2:

Usage: ?(A, X)

• Call and exit are compatible with: undefined:call(X,A) (undefined property)
• The following properties are added upon exit: undefined:call(X,A) (undefined property)

MODE: */2:

Usage: A * X

• Call and exit are compatible with: undefined:call(X,A) (undefined property)

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