Uses of Class
jTrolog.terms.Clause

Packages that use Clause

Package	Description
jTrolog.engine
jTrolog.lib

Uses of Clause in jTrolog.engine

Methods in jTrolog.engine with parameters of type Clause

Modifier and Type	Method and Description
void	Prolog.assertA(Clause toBeAsserted)
void	Prolog.assertZ(Clause toBeAsserted) The Rule and Fact Database System The Library System

Uses of Clause in jTrolog.lib

Methods in jTrolog.lib that return Clause

Modifier and Type	Method and Description
static Clause	BuiltIn.convertTermToClause(Term arg0) see ISO 7.6.1 and 7.6.2