ubc.cs.JLog.Terms
Class jBuiltinRule

java.lang.Object
  ubc.cs.JLog.Foundation.jRule
      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.

Version:

%I%, %G%

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)