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

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)

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)

MODE@/2

Usage:@(A,X)