Uses of Interface
com.svincent.moksa.Trailable

Packages that use Trailable

com.svincent.moksa

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

Uses of Trailable in com.svincent.moksa

Classes in com.svincent.moksa that implement Trailable

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.
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.StreamIdentifier An identifier for a currently open input or output stream.
class	JavaTerm A subclass of PrologTerm which contains a reference to a Java object.
class	PrologTerm Represents a WAM first-order term (i.e.
class	Variable Represents a Variable: a WAM term that contains (possibly) a reference to another WAM term.
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.

Methods in com.svincent.moksa that return Trailable

Trailable

Wam.popTrail()

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

void	Wam.trail(Trailable obj) Places this object on the trail stack, marking it to be undone when the trail is unwound.