com.svincent.moksa
Class Builtin.Is_2

java.lang.Object
  |
  +--com.svincent.moksa.WamObject
        |
        +--com.svincent.moksa.Rule
              |
              +--com.svincent.moksa.Builtin.BuiltinRule
                    |
                    +--com.svincent.moksa.Builtin.Is_2

Enclosing class:

Builtin

public static class Builtin.Is_2

extends Builtin.BuiltinRule

Evaluate expression (8.6.1)

is (?nonvar, +nonvar)

is (Result, Expression) is true iff Result unifies with the result of evaluating Expression as an expression

Constructor Summary

Builtin.Is_2()

Method Summary

int	getArity() Return the arity of this Rule (i.e.
java.lang.String	getName() Return the name of this Rule in "atom/arity" notation.
Continuation	invokeRule(Wam wam) Contains the code which defines what this Rule does.

Methods inherited from class com.svincent.moksa.Builtin.BuiltinRule

getTerm, makeTerm

Methods inherited from class com.svincent.moksa.Rule

invoke, isFirstAlternative, isLastAlternative, isOnlyAlternative, tag

Methods inherited from class com.svincent.moksa.WamObject

tag

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Builtin.Is_2

public Builtin.Is_2()

Method Detail

getName

public java.lang.String getName()

Description copied from class: Rule

Return the name of this Rule in "atom/arity" notation.

Overrides:

getName in class Rule

getArity

public int getArity()

Description copied from class: Rule

Return the arity of this Rule (i.e. - the number of parameters it expects).

Overrides:

getArity in class Rule

invokeRule

public Continuation invokeRule(Wam wam)
                        throws PrologException

Description copied from class: Rule

Contains the code which defines what this Rule does. Called by invoke.

Overrides:

invokeRule in class Rule

Tags copied from class: Rule

See Also:

Rule.invoke(com.svincent.moksa.Wam)