Author(s): Daniel Cabeza, Manuel Hermenegildo.
Version: 1.9#330 (2004/3/25, 16:54:55 CET)
Version of last change: 1.9#191 (2003/12/19, 16:47:39 CET)
This module provides basic term manipulation.
term_basic
)term_basic
)
Usage 1: X = Y
* ISO *
X
and Y
unify.
basic_props:native/1
)
Usage 2: X = Y
* ISO *
X
and Y
unify.
basic_props:native/1
)
Usage 1: arg(+ArgNo, +Term, ?Arg)
* ISO *
ArgNo
of the term Term
is Arg
.
ArgNo
is an integer.
(basic_props:int/1
)
basic_props:native/1
)
Usage 2: arg(ArgNo, Term, Arg)
* ISO *
ArgNo
of the term Term
is Arg
.
ArgNo
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
Term
is currently a term which is not a free variable.
(term_typing:nonvar/1
)
ArgNo
is an integer.
(basic_props:int/1
)
basic_props:native/1
)
Usage 1: functor(?Term, ?Name, ?Arity)
* ISO *
Term
has name Name
and arity Arity
.
Name
is an atom.
(basic_props:atm/1
)
Arity
is a number.
(basic_props:num/1
)
basic_props:native/1
)
Usage 2: functor(Term, Name, Arity)
* ISO *
Term
has name Name
and arity Arity
.
Name
is an atom.
(basic_props:atm/1
)
Arity
is a number.
(basic_props:num/1
)
basic_props:native/1
)
Usage 1: ?Term =.. ?List
* ISO *
Term
comprise the list List
.
List
is a list.
(basic_props:list/1
)
basic_props:native/1
)
Usage 2: Term =.. List
* ISO *
Term
comprise the list List
.
List
is a list.
(basic_props:list/1
)
basic_props:native/1
)
Usage 1: 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)).
basic_props:native/1
)
Usage 2: 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)).
basic_props:native/1
)
Usage 1: 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).
basic_props:native/1
)
Usage 2: 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).
basic_props:native/1
)
Go to the first, previous, next, last section, table of contents.