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