|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use DefiniteClause | |
|---|---|
| jdrew.oo.bu | |
| jdrew.oo.bu.builtins | |
| jdrew.oo.builtins | |
| jdrew.oo.td | |
| jdrew.oo.td.builtins | |
| jdrew.oo.util | |
| jdrew.oo.util.parsing | |
| Uses of DefiniteClause in jdrew.oo.bu |
|---|
| Methods in jdrew.oo.bu that return DefiniteClause | |
|---|---|
DefiniteClause |
Unifier.resolvent()
This method will produce the resolvent of unifing a fact with a rule. |
| Methods in jdrew.oo.bu with parameters of type DefiniteClause | |
|---|---|
boolean |
Subsumption.subsumedBy(DefiniteClause oldfact)
This method is called to check to see if the passed fact subsumes the fact that was used in the consturctor of the Subsumption object. |
| Constructors in jdrew.oo.bu with parameters of type DefiniteClause | |
|---|---|
Subsumption(DefiniteClause base)
This creates a subsumption checker; First it initializes all data structures based upon the fact that is passed (this is the one to be checked if it is subsumed by another fact); then it will call the ground(Term) method to ground the fact. |
|
Unifier(DefiniteClause fact,
DefiniteClause rule)
This method is used to create a unifier that is used to test whether a fact unifies with a rule. |
|
| Uses of DefiniteClause in jdrew.oo.bu.builtins |
|---|
| Methods in jdrew.oo.bu.builtins with parameters of type DefiniteClause | |
|---|---|
java.util.Vector |
BUBuiltin.buildResult(DefiniteClause dc,
int term)
Builds the resulting fact from the call to this built-in if it exists. |
java.util.Vector |
AssertBuiltin.buildResult(DefiniteClause dc,
int term)
This method performs the actions necessary to implement the assert built-in relation. |
| Uses of DefiniteClause in jdrew.oo.builtins |
|---|
| Uses of DefiniteClause in jdrew.oo.td |
|---|
| Methods in jdrew.oo.td with parameters of type DefiniteClause | |
|---|---|
java.util.Iterator |
BackwardReasoner.depthFirstSolutionIterator(DefiniteClause queryClause)
|
java.util.Iterator |
BackwardReasoner.iterativeDepthFirstSolutionIterator(DefiniteClause queryClause)
|
java.util.Iterator |
BackwardReasoner.iterativeDepthFirstSolutionIterator(DefiniteClause queryClause,
int max,
int by)
|
| Uses of DefiniteClause in jdrew.oo.td.builtins |
|---|
| Methods in jdrew.oo.td.builtins that return DefiniteClause | |
|---|---|
DefiniteClause |
TDBuiltin.buildResult(BackwardReasoner.GoalList gl,
int term)
Builds the resulting fact from the call to this built-in if it exists. |
DefiniteClause |
RegisterBuiltin.buildResult(BackwardReasoner.GoalList gl,
int term)
This method performs the actions necessary to implement the register built-in relation. |
DefiniteClause |
AssertBuiltin.buildResult(BackwardReasoner.GoalList gl,
int term)
This method performs the actions necessary to implement the assert built-in relation. |
| Uses of DefiniteClause in jdrew.oo.util |
|---|
| Methods in jdrew.oo.util that return DefiniteClause | |
|---|---|
DefiniteClause |
POSLParser.parseDefiniteClause(java.lang.String clause)
This method is used to parse a single definite clause, stored in a String. |
DefiniteClause |
POSLParser.parseQueryString(java.lang.String query)
This method is used to parse a query - stored in a String. |
DefiniteClause |
POSLParser.parseQueryStringT(java.lang.String query)
|
DefiniteClause |
RuleMLParser.parseRuleMLQuery(java.lang.String contents)
|
| Uses of DefiniteClause in jdrew.oo.util.parsing |
|---|
| Methods in jdrew.oo.util.parsing that return DefiniteClause | |
|---|---|
DefiniteClause |
POSLParser.clause(boolean newVars)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||