Uses of Class
com.svincent.moksa.Builtin.BuiltinRule

Packages that use Builtin.BuiltinRule

com.svincent.moksa

An implementation of a Warren's Abstract Machine and associated builtin predicates, to conform to ISO Prolog.

Uses of Builtin.BuiltinRule in com.svincent.moksa

Subclasses of Builtin.BuiltinRule in com.svincent.moksa

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.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).
static class	Io.Close_2 Closes the specified file.
static class	Io.Current_input_1 Unifies the given variable with the current input
static class	Io.Current_output_1 Unifies the given variable with the current output
static class	Io.Flush_output_1 Flushes the specified stream.
static class	Io.Get_char_2 Gets a character from the given output stream.
static class	Io.Get_prolog_token_2 Gets a Prolog token from the given output stream.
static class	Io.Get_stream_properties_2 get_stream_properties (S, Props)
static class	Io.Nl_1 Prints a newline to the given output stream.
static class	Io.Open_4 Opens the specified file.
static class	Io.Put_char_2 Puts the given character to the given output stream.
static class	Io.Write_2 Writes its argument to the given output stream.
static class	JavaInterface.Java_constructor_2 Constructs a new Java object of a given class.
static class	JavaInterface.Java_method_3 Calls a method on a class or instance..
static class	JavaInterface.JavaRule