Uses of Interface
io.github.prolobjectlink.prolog.PrologClause

Packages that use PrologClause

Package	Description
io.github.prolobjectlink.prolog

Uses of PrologClause in io.github.prolobjectlink.prolog

Classes in io.github.prolobjectlink.prolog that implement PrologClause

Modifier and Type	Class and Description
class	AbstractClause Partial implementation of PrologClause interface.

Methods in io.github.prolobjectlink.prolog with type parameters of type PrologClause

Modifier and Type	Method and Description
<T extends PrologClause> T	PrologClause.cast() Casts the current PrologClause to the class or interface represented by this Class object.
<T extends PrologClause> T	AbstractClause.cast()

Methods in io.github.prolobjectlink.prolog that return PrologClause

Modifier and Type	Method and Description
PrologClause	AbstractEngine.PrologProgramIterator.next()
PrologClause	AbstractProvider.parseClause(String stringClause)

Methods in io.github.prolobjectlink.prolog that return types with arguments of type PrologClause

Modifier and Type	Method and Description
Set<PrologClause>	PrologEngine.getProgramClauses() Make and return a copy of the clause set present in the current engine.
Set<PrologClause>	AbstractEngine.getProgramClauses()
Map<String,List<PrologClause>>	PrologEngine.getProgramMap() Make and return a copy of the clause map present in the current engine.
Map<String,List<PrologClause>>	AbstractEngine.getProgramMap()
Set<PrologClause>	AbstractProvider.parseProgram(File in)
Set<PrologClause>	AbstractProvider.parseProgram(String file)

Methods in io.github.prolobjectlink.prolog with parameters of type PrologClause

Modifier and Type	Method and Description
void	PrologProgram.add(PrologClause clause)
void	AbstractProgram.add(PrologClause clause)
void	PrologProgram.push(PrologClause clause)
void	AbstractProgram.push(PrologClause clause)
boolean	PrologClause.unify(PrologClause clause) Check that two clauses unify.
boolean	AbstractClause.unify(PrologClause clause)

Constructor parameters in io.github.prolobjectlink.prolog with type arguments of type PrologClause

Constructor and Description
PrologProgramIterator(Collection<PrologClause> cls)