Author(s): Daniel Cabeza, Manuel Hermenegildo.
Version: 1.3#120 (1999/11/26, 12:5:17 MET)
term_basic
)term_basic
)
Usage: X = Y
* ISO *
X
and Y
.
Usage: arg(+ArgNo,+Term,?(Arg))
* ISO *
ArgNo
of the term Term
is Arg
.
ArgNo
is currently instantiated to an integer.
(term_typing:integer/1
)
Usage: functor(?(Term),?(Name),?(Arity))
* ISO *
Term
has name Name
and arity Arity
.
Usage: ?(Term) =.. ?(List)
* ISO *
Term
comprise the list List
.
The predicate is of type implicit.
Usage: copy_term(Term,Copy)
* ISO *
Copy
is a renaming of Term
, such that brand new variables have been substituted for all variables in Term
. If any of the variables of Term
have
attributes, the copied variables will have copies of the attributes as well. It behaves as if defined by:
:- data 'copy of'/1. copy_term(X, Y) :- asserta_fact('copy of'(X)), retract_fact('copy of'(Y)).
Usage: C(?(S1),?(Terminal),?(S2))
S1
is connected by the terminal Terminal
to S2
. Used in DCG grammar rules. Defined as if by the single clause: 'C'([X|S], X, S).
Go to the first, previous, next, last section, table of contents.