All Packages Class Hierarchy This Package Previous Next Index
Class prolog.lib.is_2
java.lang.Object
|
+----prolog.Predicate
|
+----prolog.CompiledPredicate
|
+----prolog.lib.is_2
- public class is_2
- extends CompiledPredicate
is/2: Arithmetic evaluation. Success occurs iff the first
argument is unifiable with the result of arithmetically evaluating the
second (which is assumed to be a valid expression on pain of a
ArgumentException).
- See Also:
- is_equal_2, is_not_equal_2
-
functor
-
-
is_2()
-
-
compile_call(ClauseCodeGen, Term[], boolean)
- Compiles a call to this predicate.
-
eval(Compound)
- Evaluates an expression tree.
-
exec(Term[], Prolog)
- Implements the functionality of the call.
functor
public static final String functor
is_2
public is_2()
exec
public boolean exec(Term args[],
Prolog p) throws ArgumentException
- Implements the functionality of the call.
- Overrides:
- exec in class CompiledPredicate
eval
public static Numeric eval(Compound t) throws ArgumentException
- Evaluates an expression tree. We let other classes use this method to
evaluate their arguments.
compile_call
public boolean compile_call(ClauseCodeGen ccg,
Term args[],
boolean lastcall)
- Compiles a call to this predicate.
- Overrides:
- compile_call in class Predicate
All Packages Class Hierarchy This Package Previous Next Index