ABLE 2.0.0 07/02/2003 10:25:01

Uses of Class
com.ibm.able.data.AblePredicate

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

(C) Copyright IBM Corporation 1999, 2003