Uses of Class
com.svincent.moksa.WamObject

Packages that use WamObject

com.svincent.moksa

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

Uses of WamObject in com.svincent.moksa

Subclasses of WamObject 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	CompoundTerm A compoundTerm is a Prolog tree constant (normally of the form f(x1, x2, ..., xn), where f is known as the compoundTerm's functor, and x1 through xn are known as the term's subterms.
class	Continuation This is the Continuation concept, made explicit, for clarity.
class	InterpretedRule A rule, but interpreted, rather than compiled.
class	Io Provides the Prolog environment with an ISO I/O subsystem.
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.PrologInput An identifier for an input stream.
class	Io.PrologInputStream A wrapper for a Java InputStream.
static class	Io.PrologOutput An identifier for an output stream.
static class	Io.PrologOutputStream
class	Io.PrologReader A wrapper for a Java Reader.
static class	Io.PrologWriter
static class	Io.Put_char_2 Puts the given character to the given output stream.
static class	Io.StreamIdentifier An identifier for a currently open input or output stream.
static class	Io.Write_2 Writes its argument to the given output stream.
class	IsoPrologParser Parses ISO Prolog source files.
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
class	JavaTerm A subclass of PrologTerm which contains a reference to a Java object.
class	MiniPrologParser Parses a subset of the Prolog language, that I call 'Mini-Prolog'.
class	MoksaProlog The main entry point for the current version of MoksaProlog.
class	MoksaUtil Contains static utility methods to do a bunch of random stuff that doesn't belong elsewhere.
class	Prologc Compiles Prolog source files into Java class files.
static class	Prologc.PrologRuleCompiler A compiler for Prolog rules.
static class	Prologc.PrologTermCompiler Make one of these for the entire method construction process: it keeps state about what it's created so far.
class	PrologEngine Global context for everything, plus a public interface for users.
class	PrologEngine.AddHandler
static class	PrologEngine.ArithmeticHandler
class	PrologEngine.NegateHandler
class	PrologEngine.SubtractHandler
class	PrologLoader Superclass of the Loader generated for each prolog file compiled by MoksaProlog.
class	PrologPackageManager Manages Prolog source.
class	PrologParser A parser for the Prolog language.
class	PrologTerm Represents a WAM first-order term (i.e.
class	PrologTermVisitor A Visitor pattern implementation for PrologTerms.
class	PrologTokenizer This class encapsulates the tokenization of Prolog.
class	Rule The abstract base class for all Rules.
class	Variable Represents a Variable: a WAM term that contains (possibly) a reference to another WAM term.
class	VariableCollector Collects all the variables out of an PrologTerm compoundTerm.
class	Wam An implementation of a Warren's Abstract Machine, as documented in Warren's Abstract Machine: a Tutorial Reconstruction, by Hassan Ait-Kaci.
static class	Wam.ChoicePoint Represents a choice point.
static class	Wam.ExceptionHandler A registered exception handler for the current thread of execution.
class	WamFloat A WamFloat is a Prolog constant for a floating-point number
class	WamInteger A WamInteger is a Prolog constant for an integral number.