Compound term.
The
StructureTerm
class represents a compound term but list.
% father(abraham, X) Term a1 = SymbolTerm.makeSymbol("abraham"); Term a2 = new VariableTerm(); Term[] a3 = {a1, a2}; Term a4 = SymbolTerm.makeSymbol("father", 2); Term t = new StructureTerm(a4, a3); Term functor = ((StructureTerm)t).functor(); Term[] args = ((StructureTerm)t).args(); int arity = ((StructureTerm)t).arity();
@author Mutsunori Banbara (banbara@kobe-u.ac.jp)
@author Naoyuki Tamura (tamura@kobe-u.ac.jp)
@version 1.0