Uses of Class
org.dllearner.prolog.Clause

Packages that use Clause

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

Clause	PrologParser.clause()
Clause	PrologParser.parseClause(String src)

Uses of Clause in org.dllearner.prolog

Methods in org.dllearner.prolog that return Clause

Clause

Clause.getInstance(Variable variable, Term term)

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

ArrayList<Clause>

Program.getClauses()

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

void	Program.addClause(Clause clause)