Uses of Class
org.dllearner.prolog.Term

Packages that use Term

org.dllearner.parser	DL-Learner parsers.
org.dllearner.prolog	Prolog syntax structures.

Uses of Term in org.dllearner.parser

Methods in org.dllearner.parser that return Term

Term	PrologParser.parseTerm(String src)
Term	PrologParser.simpleTerm()
Term	PrologParser.term()

Uses of Term in org.dllearner.prolog

Subclasses of Term in org.dllearner.prolog

class	Constant
class	Function
class	List
class	Number
class	PrologConstant
class	StringConstant
class	Variable

Methods in org.dllearner.prolog that return Term

Term	Function.getArgument(int index)
Term	Atom.getArgument(int index)
Term	Function.getInstance(Variable variable, Term term)
Term	List.getInstance(Variable variable, Term term)
abstract Term	Term.getInstance(Variable variable, Term term)
Term	Variable.getInstance(Variable variable, Term term)
Term	PrologConstant.getInstance(Variable variable, Term term)
Term	Number.getInstance(Variable variable, Term term)
Term	StringConstant.getInstance(Variable variable, Term term)

Methods in org.dllearner.prolog that return types with arguments of type Term

ArrayList<Term>

Atom.getArguments()

Methods in org.dllearner.prolog with parameters of type Term

Term	Function.getInstance(Variable variable, Term term)
Term	List.getInstance(Variable variable, Term term)
abstract Term	Term.getInstance(Variable variable, Term term)
Term	Variable.getInstance(Variable variable, Term term)
Clause	Clause.getInstance(Variable variable, Term term)
Atom	Atom.getInstance(Variable variable, Term term)
Term	PrologConstant.getInstance(Variable variable, Term term)
Body	Body.getInstance(Variable variable, Term term)
Term	Number.getInstance(Variable variable, Term term)
Term	StringConstant.getInstance(Variable variable, Term term)
Literal	Literal.getInstance(Variable variable, Term term)
void	Function.setArgument(int index, Term term)

Method parameters in org.dllearner.prolog with type arguments of type Term

static List

List.compose(ArrayList<Term> content)

Constructors in org.dllearner.prolog with parameters of type Term

Function(String name, Term term2)

Function(Term term1, String name)

Function(Term term1, String name, Term term2)

List(Term head, List tail)

Constructor parameters in org.dllearner.prolog with type arguments of type Term

Atom(String name, ArrayList<Term> arguments)

Function(FunctionDefinition functionDefinition, ArrayList<Term> arguments)

Function(String name, ArrayList<Term> arguments)