|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use com.svincent.moksa | |
| com.svincent.moksa | An implementation of a Warren's Abstract Machine and associated builtin predicates, to conform to ISO Prolog. |
Classes in com.svincent.moksa used by com.svincent.moksa| Builtin.ArithmeticComparisonRule
|
Base class for arithmetic comparison builtins. Builtin.BuiltinRule
|
All of the builtin primitive rules subclass BuiltinRule. CompiledRule
|
Provides a superclass for compiled rules. 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.CompoundTerm.ListWrapper
|
A wrapper for a CompoundTerm as a list. CompoundTerm.PrologIterator
|
Continuation
|
This is the Continuation concept, made explicit, for clarity. Io
|
Provides the Prolog environment with an ISO I/O subsystem. Io.PrologInput
|
An identifier for an input stream. Io.PrologInputStream
|
A wrapper for a Java InputStream. Io.PrologOutput
|
An identifier for an output stream. Io.PrologOutputStream
|
Io.PrologReader
|
A wrapper for a Java Reader. Io.PrologWriter
|
Io.StreamIdentifier
|
An identifier for a currently open input or output stream. JavaInterface.JavaRule
|
JavaTerm
|
A subclass of PrologTerm which contains a reference to a Java object. PrologEngine
|
Global context for everything, plus a public interface for users. PrologEngine.ArithmeticHandler
|
PrologException
|
Superclass of all exceptions thrown from the WAM. PrologFactory
|
Responsible for creating instances of various Prolog entities. PrologPackageManager
|
Manages Prolog source. PrologParseException
|
Thrown when an exception occurs whilst parsing Prolog source. PrologParser
|
A parser for the Prolog language. PrologStringFormatException
|
Thrown when a string is not in proper Prolog-quoted form. PrologTerm
|
Represents a WAM first-order term (i.e. PrologTermVisitor
|
A Visitor pattern implementation for PrologTerms. Rule
|
The abstract base class for all Rules. Trailable
|
Interface which must be implemented by objects that want to live in the Trail. Variable
|
Represents a Variable: a WAM term that contains (possibly) a reference to another WAM term. VariableCollector
|
Collects all the variables out of an PrologTerm compoundTerm. Wam
|
An implementation of a Warren's Abstract Machine, as documented in Warren's Abstract Machine: a Tutorial Reconstruction, by Hassan Ait-Kaci. Wam.ChoicePoint
|
Represents a choice point. WamFloat
|
A WamFloat is a Prolog constant for a floating-point number WamInteger
|
A WamInteger is a Prolog constant for an integral number. WamObject
|
Base class for stuff in the Wam package. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
This is documentation for Moksa Prolog, which can be found at http://www.svincent.com/moksa/
Copyright © 1999 Shawn P. Vincent.
This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.