Uses of Class
gnu.prolog.database.Predicate

Packages that use Predicate

gnu.prolog.database
gnu.prolog.vm.buildins.database

Uses of Predicate in gnu.prolog.database

Fields in gnu.prolog.database declared as Predicate

protected Predicate

PrologTextLoaderState.currentPredicate

Fields in gnu.prolog.database with type parameters of type Predicate

protected Map<Predicate,Map<String,Set<PrologTextLoader>>>	PrologTextLoaderState.predicate2options2loaders
protected Map<CompoundTermTag,Predicate>	Module.tag2predicate map from tag to predicates

Methods in gnu.prolog.database that return Predicate

Predicate	Module.createDefinedPredicate(CompoundTermTag tag) create new predicate defined in this module
protected Predicate	PrologTextLoaderState.findOrCreatePredicate(CompoundTermTag tag)
Predicate	Module.getDefinedPredicate(CompoundTermTag tag) get predicate defined in this module

Methods in gnu.prolog.database with parameters of type Predicate

protected void	PrologTextLoaderState.defineOption(PrologTextLoader loader, Predicate p, String option)
protected void	PrologTextLoaderState.defineOptionAndDeclare(PrologTextLoader loader, Predicate p, String option)
protected boolean	PrologTextLoaderState.isDeclaredInOtherLoaders(PrologTextLoader loader, Predicate p)
protected boolean	PrologTextLoaderState.testOption(PrologTextLoader loader, Predicate p, String option)

Uses of Predicate in gnu.prolog.vm.buildins.database

Methods in gnu.prolog.vm.buildins.database with parameters of type Predicate

protected void	Predicate_assertz.assertPred(Predicate p, CompoundTerm clause) assert a clause
protected void	Predicate_asserta.assertPred(Predicate p, CompoundTerm clause) assert a clause
protected abstract void	Predicate_assert.assertPred(Predicate p, CompoundTerm clause) assert a clause