Uses of Class
com.svincent.moksa.Wam

Packages that use Wam

com.svincent.moksa

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

Uses of Wam in com.svincent.moksa

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

Continuation	Rule.invoke(Wam wam) Invoke this Rule.
abstract Continuation	Rule.invokeRule(Wam wam) Contains the code which defines what this Rule does.
Continuation	Io.Open_4.invokeRule(Wam wam)
Continuation	Io.Close_2.invokeRule(Wam wam)
Continuation	Io.Get_stream_properties_2.invokeRule(Wam wam)
Continuation	Io.Flush_output_1.invokeRule(Wam wam)
Continuation	Io.Current_input_1.invokeRule(Wam wam)
Continuation	Io.Current_output_1.invokeRule(Wam wam)
Continuation	Io.Put_char_2.invokeRule(Wam wam)
Continuation	Io.Nl_1.invokeRule(Wam wam)
Continuation	Io.Get_char_2.invokeRule(Wam wam)
Continuation	Io.Get_prolog_token_2.invokeRule(Wam wam)
Continuation	Io.Write_2.invokeRule(Wam wam)
Continuation	Continuation.exec(Wam wam) Execute this continuation.
Continuation	Builtin.Call_1.invokeRule(Wam wam)
Continuation	Builtin.Cut_1.invokeRule(Wam wam)
Continuation	Builtin.Catch_3.invokeRule(Wam wam)
Continuation	Builtin.Throw_1.invokeRule(Wam wam)
Continuation	Builtin.Fail_0.invokeRule(Wam wam)
Continuation	Builtin.Halt_0.invokeRule(Wam wam)
Continuation	Builtin.Unify_2.invokeRule(Wam wam)
Continuation	Builtin.Var_1.invokeRule(Wam wam)
Continuation	Builtin.Atom_1.invokeRule(Wam wam)
Continuation	Builtin.Integer_1.invokeRule(Wam wam)
Continuation	Builtin.Real_1.invokeRule(Wam wam)
Continuation	Builtin.Atomic_1.invokeRule(Wam wam)
Continuation	Builtin.Compound_1.invokeRule(Wam wam)
Continuation	Builtin.Nonvar_1.invokeRule(Wam wam)
Continuation	Builtin.Number_1.invokeRule(Wam wam)
Continuation	Builtin.Identical_2.invokeRule(Wam wam)
Continuation	Builtin.Functor_3.invokeRule(Wam wam)
Continuation	Builtin.Arg_3.invokeRule(Wam wam)
Continuation	Builtin.Univ_2.invokeRule(Wam wam)
Continuation	Builtin.Set_var_nameXXX_2.invokeRule(Wam wam)
Continuation	Builtin.Copy_term_2.invokeRule(Wam wam)
Continuation	Builtin.Set_prolog_flag_2.invokeRule(Wam wam)
Continuation	Builtin.Asserta_1.invokeRule(Wam wam)
Continuation	Builtin.Assertz_1.invokeRule(Wam wam)
Continuation	Builtin.Is_2.invokeRule(Wam wam)
Continuation	Builtin.ArithmeticComparisonRule.invokeRule(Wam wam)
abstract Continuation	CompiledRule.invokeRule(Wam wam)
Continuation	JavaInterface.Java_constructor_2.invokeRule(Wam wam)
Continuation	JavaInterface.Java_method_3.invokeRule(Wam wam)
Continuation	InterpretedRule.invokeRule(Wam wam)

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

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

Wam.ExceptionHandler.Wam.ExceptionHandler(Wam _wam, PrologTerm _goal, PrologTerm _exception, Continuation _handler)