Basic term manipulation

Author(s): Daniel Cabeza, Manuel Hermenegildo.

Version: 1.5#118 (2000/4/19, 18:13:43 CEST)

• Usage and interface (term_basic)
• Documentation on exports (term_basic)

Usage and interface (term_basic)

Documentation on exports (term_basic)

PROPERTY: =/2:

Usage 1: X = Y * ISO *

• Description: Unify X and Y.

Usage 2: X = Y * ISO *

• Description: Unify X and Y.

PREDICATE: arg/3:

Usage 1: arg(+ArgNo,+Term,?(Arg)) * ISO *

• Description: Argument ArgNo of the term Term is Arg.
• The following properties should hold at call time: ArgNo is currently instantiated to an integer. (term_typing:integer/1)

Usage 2: arg(ArgNo,Term,Arg) * ISO *

• Description: Argument ArgNo of the term Term is Arg.
• The following properties should hold at call time: 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 currently instantiated to an integer. (term_typing:integer/1)

PREDICATE: functor/3:

Usage 1: functor(?(Term),?(Name),?(Arity)) * ISO *

• Description: The principal functor of the term Term has name Name and arity Arity.

Usage 2: functor(Term,Name,Arity) * ISO *

• Description: The principal functor of the term Term has name Name and arity Arity.

PREDICATE: =../2:

Usage 1: ?(Term) =.. ?(List) * ISO *

• Description: The functor and arguments of the term Term comprise the list List.

Usage 2: Term =.. List * ISO *

• Description: The functor and arguments of the term Term comprise the list List.

PREDICATE: copy_term/2:

Usage 1: copy_term(Term,Copy) * ISO *

• Description: 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 2: copy_term(Term,Copy) * ISO *

• Description: 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)).
  

PREDICATE: C/3:

Usage 1: C(?(S1),?(Terminal),?(S2))

• Description: 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).

Usage 2: C(S1,Terminal,S2)

• Description: 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.