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


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)

MODE: +/1:

Usage: + A

MODE: @/1:

Usage: @ A

MODE: -/1:

Usage: - A

MODE: ?/1:

Unspecified argument.

MODE: */1:

Unspecified argument.

MODE: +/2:

Usage: A + X

MODE: @/2:

Usage: @(A, X)

MODE: -/2:

Usage: A - X

MODE: ?/2:

Usage: ?(A, X)

MODE: */2:

Usage: A * X


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