Classical Prolog modes

Author(s): Manuel Hermenegildo.

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

Version of last change: 0.8#43 (1999/3/6, 18:39:38 CET)

This file defines a number of very simple " modes" which are frequently useful in programs. These correspond to the modes used in classical Prolog texts with some simple addtions. Note that some of these modes use the same symbol as one of the ISO-modes (see section ISO-Prolog modes) but with subtly different meaning.

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

Usage and interface (basicmodes)

Documentation on new modes (basicmodes)

MODE: +/1:

Input value in argument.

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:

No input value in argument.

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:

No output value in argument.

Usage: @(A)

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

MODE: in/1:

Input argument.

Usage: in(A)

• The following properties are added at call time: A is currently ground (it contains no variables). (term_typing:ground/1)
• The following properties are added upon exit: A is currently ground (it contains no variables). (term_typing:ground/1)

MODE: out/1:

Output argument.

Usage: out(A)

• 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 is currently ground (it contains no variables). (term_typing:ground/1)

MODE: go/1:

Ground output (input/output argument).

Usage: go(A)

• The following properties are added upon exit: A is currently ground (it contains no variables). (term_typing:ground/1)

MODE: +/2:

Usage: A + X

• Call and exit are compatible with: A has property X. (meta_props:call/2)
• The following properties are added at call time: A is currently a term which is not a free variable. (term_typing:nonvar/1)

MODE: -/2:

Usage: A - X

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

MODE: ?/2:

Usage: ?(A,X)

• Call and exit are compatible with: 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 globally: A is not further instantiated. (basic_props:not_further_inst/2)

MODE: in/2:

Usage: in(A,X)

• Call and exit are compatible with: A has property X. (meta_props:call/2)
• The following properties are added at call time: A is currently ground (it contains no variables). (term_typing:ground/1)
• The following properties are added upon exit: A is currently ground (it contains no variables). (term_typing:ground/1)

MODE: out/2:

Usage: out(A,X)

• Call and exit are compatible with: A has property X. (meta_props:call/2)
• 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 is currently ground (it contains no variables). (term_typing:ground/1)

MODE: go/2:

Usage: go(A,X)

• Call and exit are compatible with: A has property X. (meta_props:call/2)
• The following properties are added upon exit: A is currently ground (it contains no variables). (term_typing:ground/1)

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