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

(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

(True) Usage:-A

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

MODE
Unspecified argument.

MODE

(True) Usage:@A

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

MODE

(True) Usage:A+X

  • The following properties are added at call time:
    (undefined property)undefined:call(X,A)

MODE

(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

(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

(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.