Uses of Class
org.dllearner.prolog.Clause

Packages that use Clause

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

Uses of Clause in org.dllearner.parser

Methods in org.dllearner.parser that return Clause

Modifier and Type	Method and Description
Clause	PrologParser.clause()
Clause	PrologParser.parseClause(String src)

Uses of Clause in org.dllearner.prolog

Methods in org.dllearner.prolog that return Clause

Modifier and Type	Method and Description
Clause	Clause.getInstance(Variable variable, Term term)

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

Modifier and Type	Method and Description
ArrayList<Clause>	Program.getClauses()

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

Modifier and Type	Method and Description
void	Program.addClause(Clause clause)