Uses of Class
com.svincent.moksa.Rule

Packages that use Rule

com.svincent.moksa

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

Uses of Rule in com.svincent.moksa

Subclasses of Rule 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.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).
class	CompiledRule Provides a superclass for compiled rules.
class	InterpretedRule A rule, but interpreted, rather than compiled.
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

Methods in com.svincent.moksa that return Rule

Rule	Wam.getRule(java.lang.String name) Get the first alternative rule for the given name.
Rule	Wam.ChoicePoint.getNextAlternative() Get this choice point's next alternative.
Rule	PrologEngine.compileRule(PrologTerm term)

Methods in com.svincent.moksa with parameters of type Rule

void	Wam.tryMeElse(Rule rule, int arity, Rule next) Allocates a new choice point frame on the stack setting its next clause field to 'next'.
void	Wam.retryMeElse(Rule next) We just backtracked to the current choicepoint.
void	Wam.asserta(Rule rule) Add a new alternative rule for the given name.
void	Wam.assertz(Rule rule) Add a new alternative rule for the given name.
void	Wam.ChoicePoint.setNextAlternative(Rule next) Set this choice point's next alternative.
void	PrologEngine.asserta(Rule rule) Asserts a new clause before all clauses of the definition of the given predicate.
void	PrologEngine.assertz(Rule rule) Asserts a new clause after all clauses of the definition of the given predicate.
Continuation	PrologFactory.makeContinuation(Rule rule, PrologTerm[] registers, Continuation next) Make a new Continuation.

Constructors in com.svincent.moksa with parameters of type Rule

Wam.ChoicePoint.Wam.ChoicePoint(Wam _wam, Rule _rule, int _arity, Rule next)
Make a new choice point.

Continuation.Continuation(Rule _rule, PrologTerm[] _registers, Continuation _next)
Construct a new Continuation which will call the given goal, then proceed on to the 'next' continuation.