Author(s): Daniel Cabeza, Manuel Hermenegildo.
Version: 1.8 (2002/5/16, 21:20:27 CEST)
term_basic
)term_basic
)
Usage: X = Y
* ISO *
X
and Y
unify.
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
.
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
. Internally 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.