|
GNU Prolog for Java | |||||||||
PREV NEXT | FRAMES NO FRAMES |
CharConversionTable
to fromString
char_conversion
and current_char_conversion
and
TextInputPrologStream.readTerm(Term,Interpreter,ReadOptions)
to map
one character to another.CharConversionTable
to term if this should happen.
Environment.runInitialization(Interpreter)
and from nowhere else.
Interpreters
for different
threads.
Environment.runInitialization(Interpreter)
after using this and
before expecting answers.
double_quotes flag
is
predicate and
equality testing terms
.PrologHalt
DO NOT catch this.
Interpreter.Goal
and return the status code indicating how
successful this was.
Operator.SPECIFIER.NONE
if it does not match one.
AtomTerm
for this class.
PrologCode.HALT
returned by
the most recent call to Interpreter.execute(Goal)
.
Predicates
gnu.prolog.io.parser.gen
.Term
that can be used.GoalRunner
which
can be used to load a prolog file and run a goal.InterpretedCodeCompiler
uses the various classes beginning with I
and extending Instruction
in the
instruction
sub-package to
compile clauses to InterpretedByteCode
.AtomTerm
which can be got.Environment
.create new interpreter from
Environment
Operator.SPECIFIER
and priority.Operators
.PrologCode.SUCCESS
, PrologCode.SUCCESS_LAST
, or PrologCode.FAIL
.PrologTextLoader
.PrologTextLoaders
for
the Environment
instance it is for.RandomAccessFile
RandomAccessFile
Interpreter.execute(Goal)
and then stop the goal.
Interpreter.stop(Goal)
should be run.
Terms
from strings and Readers
.Terms
|
GNU Prolog for Java | |||||||||
PREV NEXT | FRAMES NO FRAMES |