Author(s): Manuel Hermenegildo.
Version: 1.10#7 (2006/4/26, 19:22:13 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.
basicmodes
)basicmodes
)Input value in argument.
Usage: + A
A
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
No input value in argument.
Usage: - A
A
is a free variable.
(term_typing:var/1
)
Unspecified argument.
No output value in argument.
Usage: @ A
A
is not further instantiated.
(basic_props:not_further_inst/2
)
Input argument.
Usage: in(A)
A
is currently ground (it contains no variables).
(term_typing:ground/1
)
A
is currently ground (it contains no variables).
(term_typing:ground/1
)
Output argument.
Usage: out(A)
A
is a free variable.
(term_typing:var/1
)
A
is currently ground (it contains no variables).
(term_typing:ground/1
)
Ground output (input/output argument).
Usage: go(A)
A
is currently ground (it contains no variables).
(term_typing:ground/1
)
Usage: A + X
undefined:call(X,A)
(undefined property)
A
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
Usage: A - X
undefined:call(X,A)
(undefined property)
A
is a free variable.
(term_typing:var/1
)
Usage: ?(A, X)
undefined:call(X,A)
(undefined property)
Usage: @(A, X)
undefined:call(X,A)
(undefined property)
A
is not further instantiated.
(basic_props:not_further_inst/2
)
Usage: in(A, X)
undefined:call(X,A)
(undefined property)
A
is currently ground (it contains no variables).
(term_typing:ground/1
)
A
is currently ground (it contains no variables).
(term_typing:ground/1
)
Usage: out(A, X)
undefined:call(X,A)
(undefined property)
A
is a free variable.
(term_typing:var/1
)
A
is currently ground (it contains no variables).
(term_typing:ground/1
)
Usage: go(A, X)
undefined:call(X,A)
(undefined property)
A
is currently ground (it contains no variables).
(term_typing:ground/1
)
Go to the first, previous, next, last section, table of contents.