|
GNU Prolog for Java | |||||||||
| PREV NEXT | FRAMES NO FRAMES All Classes | |||||||||
| 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 |
|
GNU Prolog for Java | |||||||||
| PREV NEXT | FRAMES NO FRAMES All Classes | |||||||||