ubc.cs.JLog.Terms
Class jBuiltinRule

java.lang.Object
  extended by ubc.cs.JLog.Foundation.jRule
      extended by ubc.cs.JLog.Terms.jBuiltinRule
All Implemented Interfaces:
iConsultable, iName, iNameArity

public class jBuiltinRule
extends jRule

This class is a type stub that permits differentiating between user and builtin rules.

Author:
Glendon Holst

Field Summary
 
Fields inherited from class ubc.cs.JLog.Foundation.jRule
all_variables, base, head, variables
 
Constructor Summary
jBuiltinRule(jPredicate h, jPredicateTerms b)
           
 
Method Summary
 
Methods inherited from class ubc.cs.JLog.Foundation.jRule
consult, consultReset, enumBase, getArity, getBase, getHead, getName, getUnifiedBase, isConsultNeeded, toString, unify
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

jBuiltinRule

public jBuiltinRule(jPredicate h,
                    jPredicateTerms b)