|
ABLE 2.0.0 07/02/2003 10:25:01 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use AblePredicate | |
---|---|
com.ibm.able.data | The ABLE data package defines classes for literals (constants) and variables used in expressions holding Java and user-defined data types as well as operators which can be applied to them. |
com.ibm.able.rules | The rules package defines the ABLE rule language; various inferencing engines; objects and APIs for creating and running rulesets under program control. |
Uses of AblePredicate in com.ibm.able.data |
---|
Subclasses of AblePredicate in com.ibm.able.data | |
class |
AbleEmptyListPredicate
This class represents a list predicate (with name = '.' (period)) and which contains no arguments (arity is 0). |
Methods in com.ibm.able.data that return AblePredicate | |
AblePredicate |
AblePredicate.makeGround()
Construct a ground instance (contains no variables) of this predicate All bound variables are removed and replaced by literals. |
protected static AblePredicate |
AblePredicate.getStandardList(java.util.Vector atomList)
Take this Vector of args and turn it into the standard Prolog/Lisp list structure with a head and tail for each element in the list. |
AblePredicate |
AblePredicate.createMatchPredicate(java.util.Hashtable replacementVars)
Create a copy of this predicate with unbound copies of any variables This copy is used in the match() method in AblePredicateEngine |
Methods in com.ibm.able.data with parameters of type AblePredicate | |
static java.lang.String |
AblePredicate.listToString(AblePredicate predList)
Take a list predicate and turn it into a [ ] format string |
Constructors in com.ibm.able.data with parameters of type AblePredicate | |
AblePredicate(java.lang.Object head,
AblePredicate tail)
Construct a standard list predicate with a head and a predicate list as the tail |
|
AblePredicate(AblePredicate thePredicate)
Construct a copy of the predicate with all local variables duplicated with same name and value. |
Uses of AblePredicate in com.ibm.able.rules |
---|
Fields in com.ibm.able.rules declared as AblePredicate | |
protected AblePredicate |
AblePredicateRule.myConsequent
myConsequent is a single predicate clause or head of the rule. |
protected AblePredicate |
AblePredicateFact.myAssertion
myAssertion is a predicate which can be ground or non-ground. |
AblePredicate |
AbleInferenceContext.predicate
|
Methods in com.ibm.able.rules that return AblePredicate | |
AblePredicate |
AblePredicateRule.getConsequent()
Retrieve the rule's consequent clause, if any. |
AblePredicate |
AblePredicateFact.getAssertion()
Retrieve the rule's assertion clause, if any. |
Methods in com.ibm.able.rules with parameters of type AblePredicate | |
protected boolean |
AblePredicateEngine.matchLists(AblePredicate list1,
AblePredicate list2,
java.util.Vector bindings,
java.util.Vector goalBindings)
See if list1 matches (unifies) with list2 Uses standard list notation .(X .(Y, [])) etc. |
protected boolean |
AblePredicateEngine.isList_1(AblePredicate theGoal,
java.util.Vector goalList,
java.util.Vector goalBindings,
int level)
|
protected boolean |
AblePredicateEngine.call_1(AblePredicate theGoal,
java.util.Vector goalList,
java.util.Vector goalBindings,
int level)
|
protected boolean |
AblePredicateEngine.atom_chars_2(AblePredicate theGoal,
java.util.Vector goalList,
java.util.Vector goalBindings,
int level)
|
protected boolean |
AblePredicateEngine.atom_concat_3(AblePredicate theGoal,
java.util.Vector goalList,
java.util.Vector goalBindings,
int level)
|
protected boolean |
AblePredicateEngine.sub_atom_5(AblePredicate theGoal,
java.util.Vector goalList,
java.util.Vector goalBindings,
int level)
|
protected boolean |
AblePredicateEngine.atom_number_2(AblePredicate theGoal,
java.util.Vector goalList,
java.util.Vector goalBindings,
int level)
|
protected boolean |
AblePredicateEngine.atom_length_2(AblePredicate theGoal,
java.util.Vector goalList,
java.util.Vector goalBindings,
int level)
|
protected boolean |
AblePredicateEngine.functor_3(AblePredicate theGoal,
java.util.Vector goalList,
java.util.Vector goalBindings,
int level)
|
protected boolean |
AblePredicateEngine.unify_2(AblePredicate theGoal,
java.util.Vector goalList,
java.util.Vector goalBindings,
int level)
|
protected boolean |
AblePredicateEngine.consult_1(AblePredicate theGoal,
java.util.Vector goalList,
java.util.Vector goalBindings,
int level)
|
protected boolean |
AblePredicateEngine.assert_1(AblePredicate theGoal,
java.util.Vector goalList,
java.util.Vector goalBindings,
int level)
|
protected boolean |
AblePredicateEngine.asserta_1(AblePredicate theGoal,
java.util.Vector goalList,
java.util.Vector goalBindings,
int level)
|
protected boolean |
AblePredicateEngine.assertz_1(AblePredicate theGoal,
java.util.Vector goalList,
java.util.Vector goalBindings,
int level)
|
protected boolean |
AblePredicateEngine.retract_1(AblePredicate theGoal,
java.util.Vector goalList,
java.util.Vector goalBindings,
int level)
|
protected boolean |
AblePredicateEngine.retractall_1(AblePredicate theGoal,
java.util.Vector goalList,
java.util.Vector goalBindings,
int level)
|
protected boolean |
AblePredicateEngine.member_2(AblePredicate theGoal,
java.util.Vector goalList,
java.util.Vector goalBindings,
int level)
|
protected boolean |
AblePredicateEngine.var_1(AblePredicate theGoal,
java.util.Vector goalList,
java.util.Vector goalBindings,
int level)
|
protected boolean |
AblePredicateEngine.nonvar_1(AblePredicate theGoal,
java.util.Vector goalList,
java.util.Vector goalBindings,
int level)
|
protected boolean |
AblePredicateEngine.univ_2(AblePredicate theGoal,
java.util.Vector goalList,
java.util.Vector goalBindings,
int level)
|
boolean |
AblePredicateFact.equals(AblePredicate otherPredicate)
Returns true if the facts are equal (same predicate and same args) |
void |
AbleInferenceContext.setPredicate(AblePredicate thePredicate)
|
Constructors in com.ibm.able.rules with parameters of type AblePredicate | |
AblePredicateRule(java.lang.String theLabel,
java.util.Vector theAntecedents,
AblePredicate theConsequent,
AbleRuleSet theRuleSet)
Create a new predicate rule with the specified antecedent clauses and consequent clause. |
|
AblePredicateRule(java.lang.String theLabel,
AbleRd thePriority,
java.util.Vector theAntecedents,
AblePredicate theConsequent,
AbleRuleSet theRuleSet)
Create a new predicate rule with the specified priority, antecedent clauses, and consequent clause. |
|
AblePredicateRule(int theId,
java.lang.String theLabel,
java.util.Vector theAntecedents,
AblePredicate theConsequent,
AbleRuleSet theRuleSet)
Create a new predicate rule with the specified antecedent clauses and consequent clause. |
|
AblePredicateRule(int theId,
java.lang.String theLabel,
AbleRd thePriority,
java.util.Vector theAntecedents,
AblePredicate theConsequent,
AbleRuleSet theRuleSet)
Create a new predicate rule with the specified priority, antecedent clauses, and consequent clause. |
|
AblePredicateFact(java.lang.String theLabel,
AblePredicate theAssertion,
AbleRuleSet theRuleSet)
Create a new predicate fact rule with a default priority. |
|
AblePredicateFact(java.lang.String theLabel,
AbleRd thePriority,
AblePredicate theAssertion,
AbleRuleSet theRuleSet)
Create a new predicate fact rule with the specified priority. |
|
AblePredicateFact(int theId,
java.lang.String theLabel,
AblePredicate theAssertion,
AbleRuleSet theRuleSet)
Create a new predicate fact rule with a default priority. |
|
AblePredicateFact(int theId,
java.lang.String theLabel,
AbleRd thePriority,
AblePredicate theAssertion,
AbleRuleSet theRuleSet)
Create a new predicate fact rule with the specified priority. |
|
AblePredicateQuery(AblePredicate goalClause)
create a query object over a single predicate |
|
ABLE 2.0.0 07/02/2003 10:25:01 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |