Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| GNU Prolog for Java
PREV NEXT | FRAMES NO FRAMES

## Uses of Class
gnu.prolog.database.Predicate

Packages that use Predicate
gnu.prolog.database | Classes related to the storing and creation of the database of Prolog `Predicates`
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

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| GNU Prolog for Java
PREV NEXT | FRAMES NO FRAMES