Moksa Prolog - Java API: Uses of Class com.svincent.moksa.PrologEngine

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV NEXT

FRAMES NO FRAMES

Uses of Class
com.svincent.moksa.PrologEngine

Packages that use PrologEngine
com.svincent.moksa	An implementation of a Warren's Abstract Machine and associated builtin predicates, to conform to ISO Prolog.

Uses of PrologEngine in com.svincent.moksa

Methods in com.svincent.moksa that return PrologEngine

PrologEngine Wam.getEngine()

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

void PrologPackageManager.loadModule(PrologEngine engine, java.lang.String moduleName)
          Loads the given filename into the given PrologEngine.

void PrologPackageManager.loadModule(PrologEngine engine, PrologParser parser, java.lang.String moduleName)


static void PrologPackageManager.readProlog(PrologEngine engine, PrologParser parser, java.lang.String fileName)


static Continuation Continuation.make(PrologEngine engine, PrologTerm goal, Continuation next)
          Make a new Continuation for the given (possibly compound) goal 'goal'.

static void Prologc.compilePrologFile(PrologEngine engine, java.lang.String fileName, boolean generateClass, boolean generateSource, boolean miniProlog)


void PrologLoader.load(PrologEngine engine)
          Loads all the compiled Rule classes defined by this Loader, and executes all the appropriate queries, also.

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

PrologTerm.PrologTerm(PrologEngine _engine)


PrologPackageManager.PrologPackageManager(PrologEngine _engine)


WamFloat.WamFloat(PrologEngine _engine, double _value)
          Builds a new WamFloat with the given name.

Wam.Wam(PrologEngine _engine)


Variable.Variable(PrologEngine _engine, java.lang.String _name)
          Constructs a new Variable with the given name.

Io.Io(PrologEngine _engine, java.io.InputStream _in, java.io.OutputStream _out)


Prologc.PrologRuleCompiler.Prologc.PrologRuleCompiler(PrologEngine _engine)


WamInteger.WamInteger(PrologEngine _engine, int _value)
          Builds a new WamInteger with the given name.

PrologEngine.AddHandler.PrologEngine.AddHandler()


PrologEngine.NegateHandler.PrologEngine.NegateHandler()


PrologEngine.SubtractHandler.PrologEngine.SubtractHandler()


CompoundTerm.CompoundTerm(PrologEngine _engine, java.lang.String _name, PrologTerm[] _subterms, int _priority)
          Builds a new CompoundTerm with the given name.

PrologFactory.PrologFactory(PrologEngine _engine)
          Make a new PrologFactory for the given PrologEngine.

JavaTerm.JavaTerm(PrologEngine _engine, java.lang.Object _o)


IsoPrologParser.IsoPrologParser(PrologEngine _engine)