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


Classical Prolog modes

Author(s): Manuel Hermenegildo.

Version: 1.11#222 (2004/5/24, 13:8:7 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)

MODE: +/1:

Input value in argument.

Usage: + A

MODE: -/1:

No input value in argument.

Usage: - A

MODE: ?/1:

Unspecified argument.

MODE: @/1:

No output value in argument.

Usage: @ A

MODE: in/1:

Input argument.

Usage: in(A)

MODE: out/1:

Output argument.

Usage: out(A)

MODE: go/1:

Ground output (input/output argument).

Usage: go(A)

MODE: +/2:

Usage: A + X

MODE: -/2:

Usage: A - X

MODE: ?/2:

Usage: ?(A, X)

MODE: @/2:

Usage: @(A, X)

MODE: in/2:

Usage: in(A, X)

MODE: out/2:

Usage: out(A, X)

MODE: go/2:

Usage: go(A, X)


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