com.svincent.moksa
Class Builtin

java.lang.Object
  |
  +--com.svincent.moksa.Builtin

public class Builtin

extends java.lang.Object

Defines a number of useful primitive predicates.

Inner Class Summary

static class	Builtin.Arg_3 Allows arguments of a functor to be retrieved and set.
static class	Builtin.ArithmeticComparisonRule Base class for arithmetic comparison builtins.
static class	Builtin.Asserta_1
static class	Builtin.Assertz_1
static class	Builtin.Atom_1 Tests whether its argument is an atom (8.3.2).
static class	Builtin.Atomic_1 Tests whether its argument is atomic (8.3.5).
static class	Builtin.BuiltinRule All of the builtin primitive rules subclass BuiltinRule.
static class	Builtin.Call_1 Calls a goal (7.8.3)
static class	Builtin.Catch_3 Calls a goal with an exception handler.
static class	Builtin.Compound_1 Tests whether its argument is a compound term (8.3.6).
static class	Builtin.Copy_term_2 copy_term(?Term1, ?Term2) is true iff Term2 unifies with a renamed copy of Term1.
static class	Builtin.Cut_1
static class	Builtin.Equals_2 Equals
static class	Builtin.Fail_0 Always fails
static class	Builtin.Functor_3 Allows a term to be split into its components (8.5.1)
static class	Builtin.GreaterThan_2 Greater than
static class	Builtin.GreaterThanEquals_2 Greater than/equals
static class	Builtin.Halt_0 Halts the machine
static class	Builtin.Identical_2 Tests whether its arguments are identical terms (8.4.1).
static class	Builtin.Integer_1 Tests whether its argument is an integer (8.3.3).
static class	Builtin.Is_2 Evaluate expression (8.6.1)
static class	Builtin.LessThan_2 Less than
static class	Builtin.LessThanEquals_2 Less than/equals
static class	Builtin.Nonvar_1 Tests whether its argument is not a variable (8.3.7).
static class	Builtin.NotEquals_2 Not equals
static class	Builtin.Number_1 Tests whether its argument is a number (8.3.8).
static class	Builtin.Real_1 Tests whether its argument is a floating-point value (8.3.4).
static class	Builtin.Set_prolog_flag_2
static class	Builtin.Set_var_nameXXX_2
static class	Builtin.Throw_1 Throws an exception to the nearest matching exception handler, or halts the machine, if neccessary.
static class	Builtin.Unify_2 Implements the =/2 predicate (8.2.1).
static class	Builtin.Univ_2 Allows a compound term to be constructed from a list
static class	Builtin.Var_1 Tests whether its argument is a variable (8.3.1).

Methods inherited from class java.lang.Object

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