GNU Prolog for Java
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

A

ABORT_ATOM - Static variable in class gnu.prolog.vm.buildins.dialogs.Predicate_dialog
 
abs1 - Static variable in class gnu.prolog.vm.Evaluate
 
AbstractPrologTextLoaderListener - Class in gnu.prolog.database
Default implementation that doesn't do anything
AbstractPrologTextLoaderListener() - Constructor for class gnu.prolog.database.AbstractPrologTextLoaderListener
 
accept(File) - Method in class gnu.prolog.vm.buildins.dialogs.TermFileFilter
 
accessAtom - Static variable in class gnu.prolog.vm.TermConstants
 
add(int, int, String) - Method in class gnu.prolog.io.OperatorSet
add operator to operator set
add2 - Static variable in class gnu.prolog.vm.Evaluate
 
add_escapes(String) - Method in exception gnu.prolog.io.parser.gen.ParseException
Used to convert raw characters to their escaped version when these raw version cannot be used as part of an ASCII string literal.
addClause(PrologTextLoader, Term) - Method in class gnu.prolog.database.PrologTextLoaderState
 
addClauseFirst(Term) - Method in class gnu.prolog.database.Predicate
Add clause for predicate at the beginning.
addClauseLast(Term) - Method in class gnu.prolog.database.Predicate
Add clause for predicate at the end.
addEscapes(String) - Static method in error gnu.prolog.io.parser.gen.TokenMgrError
Replaces unprintable characters by their espaced (or unicode escaped) equivalents in the given string
addInitialization(PrologTextLoaderError, Term) - Method in class gnu.prolog.database.Module
add term to initialization list
addInitialization(PrologTextLoader, Term) - Method in class gnu.prolog.database.PrologTextLoaderState
 
addPredicateListener(PredicateListener) - Method in class gnu.prolog.database.Module
 
addPrologCodeListener(CompoundTermTag, PrologCodeListener) - Method in class gnu.prolog.vm.Environment
add prolog code listener
addPrologTextLoaderListener(PrologTextLoaderListener) - Method in class gnu.prolog.database.PrologTextLoaderState
 
addSpecialUndo(UndoData) - Method in class gnu.prolog.vm.Interpreter
add special undo
addTrace(CompoundTermTag, EnumSet<Tracer.TraceLevel>) - Method in class gnu.prolog.vm.interpreter.Tracer
Set a trace point
addTrace(CompoundTermTag, Tracer.TraceLevel) - Method in class gnu.prolog.vm.interpreter.Tracer
 
addTracerEventListener(TracerEventListener) - Method in class gnu.prolog.vm.interpreter.Tracer
 
addVariableUndo(VariableTerm) - Method in class gnu.prolog.vm.Interpreter
add variable undo
afterIncludeFile(PrologTextLoader) - Method in class gnu.prolog.database.AbstractPrologTextLoaderListener
 
afterIncludeFile(PrologTextLoader) - Method in interface gnu.prolog.database.PrologTextLoaderListener
Called right after an include file has been processed and before the loader returns to the previous file.
afterIncludeFile(PrologTextLoader) - Method in class gnu.prolog.database.PrologTextLoaderState
 
afterProcessFile(PrologTextLoader) - Method in class gnu.prolog.database.AbstractPrologTextLoaderListener
 
afterProcessFile(PrologTextLoader) - Method in interface gnu.prolog.database.PrologTextLoaderListener
Called right after the file has been processed
afterProcessFile(PrologTextLoader) - Method in class gnu.prolog.database.PrologTextLoaderState
 
alias2stream - Variable in class gnu.prolog.vm.Environment
 
aliases - Variable in class gnu.prolog.vm.PrologStream
 
aliases - Variable in class gnu.prolog.vm.PrologStream.OpenOptions
 
aliasTag - Static variable in class gnu.prolog.vm.PrologStream
 
allocatedReserved - Variable in class gnu.prolog.vm.interpreter.InterpretedCodeCompiler
number of already allocated reserved variables
allocReserved() - Method in class gnu.prolog.vm.interpreter.InterpretedCodeCompiler
 
ALPHA_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
ALPHA_NUMERIC_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
ANONYMOUS_VARIABLE - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
appendAtom - Static variable in class gnu.prolog.vm.PrologStream
 
appendQuotedChar(StringBuffer, char, char) - Static method in class gnu.prolog.io.TermWriter
append quoted char to string buffer.
applyConversion(String) - Method in class gnu.prolog.io.CharConversionTable
Apply this CharConversionTable to fromString
arePropertiesLocked() - Method in class gnu.prolog.database.Predicate
Check if properties of predicate could be changed at this moment
args - Variable in class gnu.prolog.term.CompoundTerm
term argumets
args - Variable in class gnu.prolog.vm.interpreter.CallBacktrackInfo
argument list save for call
args - Variable in class gnu.prolog.vm.interpreter.ExecutionState
arguments
args - Variable in class gnu.prolog.vm.interpreter.TracerEvent
 
argumentPosition - Variable in class gnu.prolog.vm.interpreter.instruction.IPushArgument
position of term in environment
argv - Variable in class gnu.getopt.Getopt
Saved argument list passed to the program
arity - Variable in class gnu.prolog.term.CompoundTermTag
arity of term.
assertPred(Predicate, CompoundTerm) - Method in class gnu.prolog.vm.buildins.database.Predicate_assert
assert a clause
assertPred(Predicate, CompoundTerm) - Method in class gnu.prolog.vm.buildins.database.Predicate_asserta
assert a clause
assertPred(Predicate, CompoundTerm) - Method in class gnu.prolog.vm.buildins.database.Predicate_assertz
assert a clause
atan1 - Static variable in class gnu.prolog.vm.Evaluate
 
atAtom - Static variable in class gnu.prolog.vm.PrologStream
 
ATOM - Static variable in class gnu.prolog.term.Term
 
atom2flag - Variable in class gnu.prolog.vm.Environment
atom to flag
atomAtom - Static variable in class gnu.prolog.vm.TermConstants
 
atomicAtom - Static variable in class gnu.prolog.vm.TermConstants
 
AtomicTerm - Class in gnu.prolog.term
base class for all constant terms
AtomicTerm() - Constructor for class gnu.prolog.term.AtomicTerm
 
AtomTerm - Class in gnu.prolog.term
Atom term.
AtomTerm(String) - Constructor for class gnu.prolog.term.AtomTerm
a constructor.

B

BACK_QUOTE_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
BACK_QUOTED_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
BACK_QUOTED_ITEM - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
BACK_QUOTED_STRING - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
BACKSLASH_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
BACKTRACK - Static variable in class gnu.prolog.vm.interpreter.ExecutionState
instruction return code indicating need for backtracking
BacktrackInfo - Class in gnu.prolog.vm
back track information base class
BacktrackInfo(int, int) - Constructor for class gnu.prolog.vm.BacktrackInfo
a constructor
backup(int) - Method in interface gnu.prolog.io.parser.gen.CharStream
Backs up the input stream by amount steps.
backup(int) - Method in class gnu.prolog.io.parser.ReaderCharStream
 
band2 - Static variable in class gnu.prolog.vm.Evaluate
 
beforeIncludeFile(PrologTextLoader, Term) - Method in class gnu.prolog.database.AbstractPrologTextLoaderListener
 
beforeIncludeFile(PrologTextLoader, Term) - Method in interface gnu.prolog.database.PrologTextLoaderListener
Called before an include file is being processed.
beforeIncludeFile(PrologTextLoader, Term) - Method in class gnu.prolog.database.PrologTextLoaderState
 
beforeProcessFile(PrologTextLoader) - Method in class gnu.prolog.database.AbstractPrologTextLoaderListener
 
beforeProcessFile(PrologTextLoader) - Method in interface gnu.prolog.database.PrologTextLoaderListener
Called right before the file is being processed
beforeProcessFile(PrologTextLoader) - Method in class gnu.prolog.database.PrologTextLoaderState
 
beginColumn - Variable in class gnu.prolog.io.parser.gen.Token
beginLine and beginColumn describe the position of the first character of this token; endLine and endColumn describe the position of the last character of this token.
beginLine - Variable in class gnu.prolog.io.parser.gen.Token
beginLine and beginColumn describe the position of the first character of this token; endLine and endColumn describe the position of the last character of this token.
BeginToken() - Method in interface gnu.prolog.io.parser.gen.CharStream
Returns the next character that marks the beginning of the next token.
BeginToken() - Method in class gnu.prolog.io.parser.ReaderCharStream
 
BINARY_CONSTANT - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
BINARY_DIGIT_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
binaryAtom - Static variable in class gnu.prolog.vm.PrologStream
 
BinaryPrologStream - Class in gnu.prolog.vm
 
BinaryPrologStream(AtomTerm, AtomTerm, PrologStream.OpenOptions) - Constructor for class gnu.prolog.vm.BinaryPrologStream
 
binaryStreamAtom - Static variable in class gnu.prolog.vm.TermConstants
 
blshift2 - Static variable in class gnu.prolog.vm.Evaluate
 
bnot1 - Static variable in class gnu.prolog.vm.Evaluate
 
bor2 - Static variable in class gnu.prolog.vm.Evaluate
 
boundedAtom - Static variable in class gnu.prolog.vm.Environment
 
BRACKETED_COMMENT - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
brshift2 - Static variable in class gnu.prolog.vm.Evaluate
 
bufpos - Variable in class gnu.prolog.io.parser.ReaderCharStream
 
build_inTag - Static variable in class gnu.prolog.database.PrologTextLoader
 
BUTTON_ABORT - Static variable in class gnu.prolog.vm.buildins.dialogs.Predicate_dialog.DialogOptions
 
BUTTON_CANCEL - Static variable in class gnu.prolog.vm.buildins.dialogs.Predicate_dialog.DialogOptions
 
BUTTON_IGNORE - Static variable in class gnu.prolog.vm.buildins.dialogs.Predicate_dialog.DialogOptions
 
BUTTON_NO - Static variable in class gnu.prolog.vm.buildins.dialogs.Predicate_dialog.DialogOptions
 
BUTTON_OK - Static variable in class gnu.prolog.vm.buildins.dialogs.Predicate_dialog.DialogOptions
 
BUTTON_RETRY - Static variable in class gnu.prolog.vm.buildins.dialogs.Predicate_dialog.DialogOptions
 
BUTTON_YES - Static variable in class gnu.prolog.vm.buildins.dialogs.Predicate_dialog.DialogOptions
 
buttons - Variable in class gnu.prolog.vm.buildins.dialogs.Predicate_dialog.DialogOptions
 
byteAtom - Static variable in class gnu.prolog.vm.TermConstants
 

C

cache - Static variable in class gnu.prolog.term.IntegerTerm
 
callableAtom - Static variable in class gnu.prolog.vm.TermConstants
 
CallBacktrackInfo - Class in gnu.prolog.vm.interpreter
call backtrack info
CallBacktrackInfo(int, int, Term[], PrologCode, CompoundTermTag) - Constructor for class gnu.prolog.vm.interpreter.CallBacktrackInfo
a constructor
callStack - Variable in class gnu.prolog.vm.interpreter.Tracer
 
callStackGrow - Static variable in class gnu.prolog.vm.interpreter.Tracer
 
callStackMax - Variable in class gnu.prolog.vm.interpreter.Tracer
 
callStackPointer - Variable in class gnu.prolog.vm.interpreter.Tracer
 
callTag - Static variable in class gnu.prolog.vm.TermConstants
 
CANCEL_ATOM - Static variable in class gnu.prolog.vm.buildins.dialogs.Predicate_dialog
 
CAPITAL_LETTER_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
catchTag - Static variable in class gnu.prolog.vm.interpreter.InterpretedCodeCompiler
catch tag
ceiling1 - Static variable in class gnu.prolog.vm.Evaluate
 
changableFlags - Variable in class gnu.prolog.vm.Environment
 
ChangeableTerm - Class in gnu.prolog.term
Terms for which the value varies depending on prolog flags extend this class.
ChangeableTerm(Environment) - Constructor for class gnu.prolog.term.ChangeableTerm
 
char_code_list() - Method in class gnu.prolog.io.parser.gen.TermParser
 
CHAR_CODE_LIST_TOKEN - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
char_conversionTag - Static variable in class gnu.prolog.database.PrologTextLoader
 
CHARACTER_CODE_CONSTANT - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
characterAtom - Static variable in class gnu.prolog.vm.TermConstants
 
characterCodeAtom - Static variable in class gnu.prolog.vm.TermConstants
 
characterCodeListAtom - Static variable in class gnu.prolog.vm.TermConstants
 
CHARARCTER - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
charConversionAtom - Static variable in class gnu.prolog.vm.Environment
 
CharConversionTable - Class in gnu.prolog.io
A conversion map, used by char_conversion and current_char_conversion and TextInputPrologStream.readTerm(Term,Interpreter,ReadOptions) .
CharConversionTable() - Constructor for class gnu.prolog.io.CharConversionTable
 
charConvert(Term, Environment) - Method in class gnu.prolog.io.CharConversionTable
Apply CharConversionTable to term if this should happen.
charsAtom - Static variable in class gnu.prolog.vm.TermConstants
 
CharStream - Interface in gnu.prolog.io.parser.gen
This interface describes a character stream that maintains line and column number positions of the characters.
checkExists() - Method in class gnu.prolog.vm.PrologStream
 
checkList(Term) - Static method in class gnu.prolog.vm.buildins.allsolutions.Predicate_findall
Check that list is a valid Prolog list (including an uninstantiated variable)
checkLongOption() - Method in class gnu.getopt.Getopt
Check to see if an option is a valid long option.
clauses - Variable in class gnu.prolog.database.Predicate
list of clauses for this predicate
clauseTag - Static variable in class gnu.prolog.vm.TermConstants
 
clearInitialization() - Method in class gnu.prolog.database.Module
Intended to be run from Environment.runInitialization(Interpreter) and from nowhere else.
clone() - Method in class gnu.prolog.io.WriteOptions
 
clone(TermCloneContext) - Method in class gnu.prolog.term.AtomicTerm
 
clone() - Method in class gnu.prolog.term.AtomicTerm
 
clone(TermCloneContext) - Method in class gnu.prolog.term.CompoundTerm
clone the object using clone context
clone() - Method in class gnu.prolog.term.Term
clone the term.
clone(TermCloneContext) - Method in class gnu.prolog.term.Term
clone the object using clone context
clone(TermCloneContext) - Method in class gnu.prolog.term.VariableTerm
clone the object using clone context
close() - Method in class gnu.prolog.io.parser.gen.TermParser
 
close(boolean) - Method in class gnu.prolog.vm.BinaryPrologStream
 
close(PrologStream) - Method in class gnu.prolog.vm.Environment
 
close(boolean) - Method in class gnu.prolog.vm.PrologStream
 
close() - Method in class gnu.prolog.vm.RandomAccessFileReader
 
close() - Method in class gnu.prolog.vm.RandomAccessFileWriter
 
close(boolean) - Method in class gnu.prolog.vm.TextInputPrologStream
 
close(boolean) - Method in class gnu.prolog.vm.TextOutputPrologStream
 
CLOSE_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
close_curly() - Method in class gnu.prolog.io.parser.gen.TermParser
 
CLOSE_CURLY_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
CLOSE_CURLY_TOKEN - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
close_list() - Method in class gnu.prolog.io.parser.gen.TermParser
 
CLOSE_LIST_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
CLOSE_LIST_TOKEN - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
CLOSE_TOKEN - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
closed - Variable in class gnu.prolog.vm.PrologStream
 
closeOptionAtom - Static variable in class gnu.prolog.vm.TermConstants
 
closeStreams() - Method in class gnu.prolog.vm.Environment
Closes all open streams
code - Variable in class gnu.prolog.vm.interpreter.CallBacktrackInfo
code at moment of first call.
code - Variable in class gnu.prolog.vm.interpreter.instruction.ICall
code to call, if predicate is dynamic it changes after each update
code - Variable in class gnu.prolog.vm.interpreter.InterpretedCodeCompiler
code so far compiled
CodeDumper - Class in gnu.prolog.test
 
codePosition - Variable in class gnu.prolog.vm.BacktrackInfo
A pointer to code position.
codePosition - Variable in class gnu.prolog.vm.interpreter.instruction.Instruction
code position of instruction
codesAtom - Static variable in class gnu.prolog.vm.TermConstants
 
codeTag - Variable in class gnu.prolog.vm.interpreter.InterpretedByteCode
tag of this code
codeTag - Variable in class gnu.prolog.vm.interpreter.InterpretedCodeCompiler
this predicate tag
column - Variable in exception gnu.prolog.database.PrologTextLoaderError
 
column - Variable in exception gnu.prolog.io.ParseException
 
comma() - Method in class gnu.prolog.io.parser.gen.TermParser
 
comma - Static variable in class gnu.prolog.term.CompoundTermTag
comma tag
COMMA_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
COMMA_TOKEN - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
COMMENT - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
comp - Variable in class gnu.prolog.vm.buildins.termcomparsion.Predicate_compare
 
compare(Term, Term) - Method in class gnu.prolog.term.TermComparator
Compares its two arguments for order.
compare(Term, Term) - Method in class gnu.prolog.vm.buildins.list.Predicate_predsort.CallPredComparator
 
COMPARE_TAG - Static variable in class gnu.prolog.vm.buildins.list.Predicate_predsort
 
compile(List<Term>) - Static method in class gnu.prolog.vm.interpreter.InterpretedCodeCompiler
compile set of clauses to interpreted code
compound(ReadOptions) - Method in class gnu.prolog.io.parser.gen.TermParser
 
COMPOUND - Static variable in class gnu.prolog.term.Term
 
compoundAtom - Static variable in class gnu.prolog.vm.TermConstants
 
CompoundTerm - Class in gnu.prolog.term
compound term.
CompoundTerm(CompoundTermTag, Term) - Constructor for class gnu.prolog.term.CompoundTerm
get term with specified term tag and arguments.
CompoundTerm(CompoundTermTag, Term, Term) - Constructor for class gnu.prolog.term.CompoundTerm
get term with specified term tag and arguments.
CompoundTerm(CompoundTermTag, Term, Term, Term) - Constructor for class gnu.prolog.term.CompoundTerm
get term with specified term tag and arguments.
CompoundTerm(String, int) - Constructor for class gnu.prolog.term.CompoundTerm
get term with specified functor and arity
CompoundTerm(AtomTerm, int) - Constructor for class gnu.prolog.term.CompoundTerm
get term with specified functor and arity
CompoundTerm(AtomTerm, Term[]) - Constructor for class gnu.prolog.term.CompoundTerm
get term with specified term functor and arguments.
CompoundTerm(String, Term[]) - Constructor for class gnu.prolog.term.CompoundTerm
get term with specified term functor and arguments.
CompoundTerm(CompoundTermTag) - Constructor for class gnu.prolog.term.CompoundTerm
a contructor
CompoundTerm(CompoundTermTag, Term[]) - Constructor for class gnu.prolog.term.CompoundTerm
a constructor
CompoundTermTag - Class in gnu.prolog.term
A tag of compound term.
CompoundTermTag(AtomTerm, int) - Constructor for class gnu.prolog.term.CompoundTermTag
a constructor
conjunctionTag - Static variable in class gnu.prolog.vm.TermConstants
tag for conjunction
constants - Variable in class gnu.prolog.vm.interpreter.InterpretedByteCode
constants used by code
CONTINUATION_ESCAPE_SEQUENCE - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
CONTROL_ESCAPE_SEQUENCE - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
controlTag - Static variable in class gnu.prolog.database.PrologTextLoader
 
conv - Variable in class gnu.prolog.io.CharConversionTable
 
convert(char) - Method in class gnu.prolog.io.CharConversionTable
Convert a character.
convertQuotedChar(String, char) - Static method in class gnu.prolog.io.parser.TermParserUtils
 
convertQuotedString(String, char) - Static method in class gnu.prolog.io.parser.TermParserUtils
 
convertsTo(char) - Method in class gnu.prolog.io.CharConversionTable
Returns the set of characters which are converted to this character
convTable - Variable in class gnu.prolog.database.PrologTextLoaderState
 
cos1 - Static variable in class gnu.prolog.vm.Evaluate
 
createAtom - Static variable in class gnu.prolog.vm.TermConstants
 
createDefinedPredicate(CompoundTermTag) - Method in class gnu.prolog.database.Module
create new predicate defined in this module
createFileDialog(Term[]) - Method in class gnu.prolog.vm.buildins.dialogs.Predicate_file_save
 
createInterpreter() - Method in class gnu.prolog.vm.Environment
create interpreter for this environment Use this to create different Interpreters for different threads.
createNewPrologFlag(AtomTerm, Term, boolean) - Method in class gnu.prolog.vm.Environment
create a new flag for this environment
createReader() - Method in class gnu.prolog.vm.RandomAccessFileReader
 
createTextLoader() - Method in class gnu.prolog.vm.Environment
 
curChar - Variable in class gnu.prolog.io.parser.gen.TermParserTokenManager
 
curly1 - Static variable in class gnu.prolog.term.CompoundTermTag
'{}'/1 tag
curly1Tag - Static variable in class gnu.prolog.io.TermWriter
 
curly_term(ReadOptions) - Method in class gnu.prolog.io.parser.gen.TermParser
 
currentCodePosition - Variable in class gnu.prolog.vm.interpreter.InterpretedCodeCompiler
current code position
currentFile - Variable in class gnu.prolog.database.PrologTextLoader
current file
currentIdx - Variable in class gnu.prolog.term.TermComparator
 
currentInput - Variable in class gnu.prolog.vm.Environment
 
currentOutput - Variable in class gnu.prolog.vm.Environment
 
currentPredicate - Variable in class gnu.prolog.database.PrologTextLoaderState
 
currentReader - Variable in class gnu.prolog.database.PrologTextLoader
current term reader
currentToken - Variable in exception gnu.prolog.io.parser.gen.ParseException
This is the last token that has been consumed successfully.
CUT_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
CUT_TOKEN - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
cutAtom - Static variable in class gnu.prolog.vm.TermConstants
 
cutPositionStack - Variable in class gnu.prolog.vm.interpreter.InterpretedCodeCompiler
cut position stack

D

date3Tag - Static variable in class gnu.prolog.vm.buildins.datetime.DateTimePrologCode
 
date9keys - Static variable in class gnu.prolog.vm.buildins.datetime.Predicate_date_time_value
 
date9Tag - Static variable in class gnu.prolog.vm.buildins.datetime.DateTimePrologCode
 
dateAtom - Static variable in class gnu.prolog.vm.buildins.datetime.DateTimePrologCode
 
DateTimePrologCode - Class in gnu.prolog.vm.buildins.datetime
 
DateTimePrologCode() - Constructor for class gnu.prolog.vm.buildins.datetime.DateTimePrologCode
 
dayAtom - Static variable in class gnu.prolog.vm.buildins.datetime.Predicate_date_time_value
 
daylightSavingAtom - Static variable in class gnu.prolog.vm.buildins.datetime.Predicate_date_time_value
 
DEBUG - Static variable in class gnu.prolog.vm.PrologStream
 
debug(Exception) - Method in class gnu.prolog.vm.PrologStream
 
debugAtom - Static variable in class gnu.prolog.vm.Environment
 
DECIMAL_DIGIT_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
declareDiscontiguous(PrologTextLoader, CompoundTermTag) - Method in class gnu.prolog.database.PrologTextLoaderState
 
declaredVariableNames - Variable in class gnu.prolog.io.WriteOptions
If true print the name of the variables as they were declared
declareDynamic(PrologTextLoader, CompoundTermTag) - Method in class gnu.prolog.database.PrologTextLoaderState
 
declareMultifile(PrologTextLoader, CompoundTermTag) - Method in class gnu.prolog.database.PrologTextLoaderState
 
decreaseDepth() - Method in class gnu.prolog.vm.interpreter.Tracer
 
DEFAULT - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
defaultOperatorSet - Static variable in class gnu.prolog.io.TermReader
 
defaultOperatorSet - Static variable in class gnu.prolog.io.TermWriter
 
defaultWriteOptions - Static variable in class gnu.prolog.io.TermWriter
 
defineExternal(PrologTextLoader, CompoundTerm, String, Predicate.TYPE) - Method in class gnu.prolog.database.PrologTextLoaderState
 
defineOption(PrologTextLoader, Predicate, String) - Method in class gnu.prolog.database.PrologTextLoaderState
 
defineOptionAndDeclare(PrologTextLoader, Predicate, String) - Method in class gnu.prolog.database.PrologTextLoaderState
 
dereference() - Method in class gnu.prolog.term.ChangeableTerm
The value may also be altered by this method in child classes.
dereference() - Method in class gnu.prolog.term.DoubleQuotesTerm
 
dereference() - Method in class gnu.prolog.term.Term
dereference term.
dereference() - Method in class gnu.prolog.term.VariableTerm
dereference term.
description - Variable in class gnu.prolog.vm.buildins.dialogs.TermFileFilter
 
destTerm - Variable in class gnu.prolog.vm.PrologCollectionIterator
The term to unify the value with
dialectAtom - Static variable in class gnu.prolog.vm.Environment
 
dialectTerm - Static variable in class gnu.prolog.vm.Environment
 
DIALOG_OPTION_ATOM - Static variable in class gnu.prolog.vm.buildins.dialogs.Predicate_dialog
 
directiveTag - Static variable in class gnu.prolog.vm.TermConstants
 
disable_tracing() - Method in class gnu.prolog.io.parser.gen.TermParser
 
discontiguousTag - Static variable in class gnu.prolog.database.PrologTextLoader
 
disjunctionTag - Static variable in class gnu.prolog.vm.TermConstants
tag for disjunction
displayAtom(WriteOptions, AtomTerm) - Method in class gnu.prolog.io.TermWriter
display atom.
displayCompound(WriteOptions, int, CompoundTerm) - Method in class gnu.prolog.io.TermWriter
display compound term
displayFloat(WriteOptions, FloatTerm) - Method in class gnu.prolog.io.TermWriter
display float term
displayInteger(WriteOptions, IntegerTerm) - Method in class gnu.prolog.io.TermWriter
display integer term
displayJavaObject(WriteOptions, JavaObjectTerm) - Method in class gnu.prolog.io.TermWriter
 
displayList(WriteOptions, CompoundTerm) - Method in class gnu.prolog.io.TermWriter
display list
displayTerm(WriteOptions, int, Term) - Method in class gnu.prolog.io.TermWriter
display term
displayVariable(WriteOptions, VariableTerm) - Method in class gnu.prolog.io.TermWriter
display variable term
div2 - Static variable in class gnu.prolog.vm.Evaluate
 
divide2 - Static variable in class gnu.prolog.term.CompoundTermTag
'/'/2 tag
domainError(AtomTerm, Term) - Static method in exception gnu.prolog.vm.PrologException
 
domainErrorTag - Static variable in exception gnu.prolog.vm.PrologException
 
Done() - Method in interface gnu.prolog.io.parser.gen.CharStream
The lexer calls this function to indicate that it is done with the stream and hence implementations can free any resources held by this class.
Done() - Method in class gnu.prolog.io.parser.ReaderCharStream
 
DOUBLE_QUOTE_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
DOUBLE_QUOTED_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
DOUBLE_QUOTED_ITEM - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
doubleQuotesAtom - Static variable in class gnu.prolog.vm.Environment
 
DoubleQuotesTerm - Class in gnu.prolog.term
Term for storing a double quoted string as what this resolves to varies depending on the value of the double_quotes flag.
DoubleQuotesTerm(Environment, Term, Term, AtomTerm) - Constructor for class gnu.prolog.term.DoubleQuotesTerm
Construct a DoubleQuotesTerm
downAtom - Static variable in class gnu.prolog.vm.Environment
 
dynamicFlag - Variable in class gnu.prolog.database.Predicate
dynamic property of predicate
dynamicTag - Static variable in class gnu.prolog.database.PrologTextLoader
 

E

emptyCurlyAtom - Static variable in class gnu.prolog.vm.TermConstants
 
emptyListAtom - Static variable in class gnu.prolog.vm.TermConstants
 
enable_tracing() - Method in class gnu.prolog.io.parser.gen.TermParser
 
end() - Method in class gnu.prolog.io.parser.gen.TermParser
 
END_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
END_LINE_COMMENT_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
END_TOKEN - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
endColumn - Variable in class gnu.prolog.io.parser.gen.Token
beginLine and beginColumn describe the position of the first character of this token; endLine and endColumn describe the position of the last character of this token.
endLine - Variable in class gnu.prolog.io.parser.gen.Token
beginLine and beginColumn describe the position of the first character of this token; endLine and endColumn describe the position of the last character of this token.
endOfFileAtom - Static variable in class gnu.prolog.vm.PrologStream
 
endOfStream - Variable in class gnu.prolog.vm.PrologStream
 
endOfStreamTag - Static variable in class gnu.prolog.vm.PrologStream
 
endPosition - Variable in class gnu.prolog.vm.interpreter.ExceptionHandlerInfo
end position of code segment
ensure_loadedTag - Static variable in class gnu.prolog.database.PrologTextLoader
 
ensureLoaded(Term) - Method in class gnu.prolog.database.PrologTextLoaderState
 
ensureLoaded(Term) - Method in class gnu.prolog.vm.Environment
Ensure that prolog text designated by term is loaded You must use Environment.runInitialization(Interpreter) after using this and before expecting answers.
ensureLoaded(Environment) - Method in class gnu.prolog.vm.interpreter.instruction.ICall
ensure that code is loaded in predicate
EnterBacktrackInfo - Class in gnu.prolog.vm.interpreter
this backtrack info is created upon entering in predicate, it is used to detect fails and it is a normal cut parent.
EnterBacktrackInfo(int) - Constructor for class gnu.prolog.vm.interpreter.EnterBacktrackInfo
a constructor
EnvInitializer - Class in gnu.prolog.vm
Environment Initializers can be used to initialize the prolog environment with additional builtin predicates.
EnvInitializer() - Constructor for class gnu.prolog.vm.EnvInitializer
 
environment - Variable in class gnu.prolog.io.parser.gen.TermParser
 
environment - Variable in class gnu.prolog.term.ChangeableTerm
The Environment we will use to get the flags from.
Environment - Class in gnu.prolog.vm
this class represent prolog processor.
Environment() - Constructor for class gnu.prolog.vm.Environment
constructor of environment, it loads buildins to database at start.
Environment(InputStream, OutputStream) - Constructor for class gnu.prolog.vm.Environment
 
environment - Variable in class gnu.prolog.vm.interpreter.ExecutionState
current environment
environment - Variable in class gnu.prolog.vm.interpreter.LeaveByteCodeBacktrackInfo
 
environment - Variable in class gnu.prolog.vm.PrologStream
 
environment - Variable in class gnu.prolog.vm.PrologStream.OpenOptions
 
Environment.DoubleQuotesValue - Enum in gnu.prolog.vm
The possible values of the double_quotes flag
Environment.PrologCodeListenerRef - Class in gnu.prolog.vm
 
environmentIndex - Variable in class gnu.prolog.vm.interpreter.instruction.ICut
index in environment where cut position is kept, cut position is kept as JavaObjectTerm containing BacktrackInfo until which all should be be popped
environmentIndex - Variable in class gnu.prolog.vm.interpreter.instruction.IRestoreState
environment index where state was saved
environmentIndex - Variable in class gnu.prolog.vm.interpreter.instruction.ISaveCut
index in environment where cut position is kept, cut position is kept as JavaObjectTerm containing BacktrackInfo until which all should be be popped
environmentIndex - Variable in class gnu.prolog.vm.interpreter.instruction.ISaveState
environment index where state was saved
environmentIndex - Variable in class gnu.prolog.vm.interpreter.instruction.IStoreEnvironment
index in environment where term is kept
environmentPosition - Variable in class gnu.prolog.vm.interpreter.instruction.IPushEnvironment
position of term in environment
environmentSize - Variable in class gnu.prolog.vm.interpreter.instruction.IAllocate
size of environment
EOF - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
EOF_TOKEN - Static variable in class gnu.prolog.io.parser.TermParserUtils
 
eofAction - Variable in class gnu.prolog.vm.PrologStream
 
eofAction - Variable in class gnu.prolog.vm.PrologStream.OpenOptions
 
eofActionTag - Static variable in class gnu.prolog.vm.PrologStream
 
eofCodeAtom - Static variable in class gnu.prolog.vm.PrologStream
 
eol - Variable in exception gnu.prolog.io.parser.gen.ParseException
The end of line string for this machine.
EQ_ATOM - Static variable in class gnu.prolog.vm.buildins.termcomparsion.Predicate_compare
 
equals(Object) - Method in class gnu.prolog.term.AtomTerm
 
equals(Object) - Method in class gnu.prolog.term.CompoundTermTag
 
ERROR_ATOM - Static variable in class gnu.prolog.vm.buildins.dialogs.Predicate_dialog
 
errorAtom - Static variable in class gnu.prolog.vm.Environment
 
errorAtom - Static variable in exception gnu.prolog.vm.PrologException
 
errorAtom - Static variable in class gnu.prolog.vm.PrologStream
 
errorAtom - Static variable in class gnu.prolog.vm.UndefinedPredicateCode
 
errorList - Variable in class gnu.prolog.database.PrologTextLoaderState
 
errorTag - Static variable in exception gnu.prolog.vm.PrologException
 
evaluableAtom - Static variable in class gnu.prolog.vm.TermConstants
 
Evaluate - Class in gnu.prolog.vm
 
evaluate(Term) - Static method in class gnu.prolog.vm.Evaluate
 
evaluationErrorTag - Static variable in exception gnu.prolog.vm.PrologException
 
evalutationError(AtomTerm) - Static method in exception gnu.prolog.vm.PrologException
 
exceptionHandlerArrayConstant - Static variable in class gnu.prolog.vm.interpreter.InterpretedCodeCompiler
array type constant ExceptionHandlerInfo.class
ExceptionHandlerInfo - Class in gnu.prolog.vm.interpreter
this class contains information about exception handling.
ExceptionHandlerInfo() - Constructor for class gnu.prolog.vm.interpreter.ExceptionHandlerInfo
 
exceptionHandlers - Variable in class gnu.prolog.vm.interpreter.InterpretedByteCode
set of exception handlers
exceptionHandlers - Variable in class gnu.prolog.vm.interpreter.InterpretedCodeCompiler
exception handlers
exchange(String[]) - Method in class gnu.getopt.Getopt
Exchange the shorter segment with the far end of the longer segment.
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.allsolutions.Predicate_bagof
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.allsolutions.Predicate_findall
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.arithmetics.Predicate_equal
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.arithmetics.Predicate_greater_than
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.arithmetics.Predicate_greater_than_or_equal
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.arithmetics.Predicate_is
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.arithmetics.Predicate_less_than
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.arithmetics.Predicate_less_than_or_equal
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.arithmetics.Predicate_not_equal
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.atomicterms.Predicate_atom_chars
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.atomicterms.Predicate_atom_codes
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.atomicterms.Predicate_atom_concat
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.atomicterms.Predicate_atom_length
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.atomicterms.Predicate_char_code
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.atomicterms.Predicate_number_chars
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.atomicterms.Predicate_number_codes
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.atomicterms.Predicate_sub_atom
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.database.Predicate_abolish
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.database.Predicate_assert
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.database.Predicate_clause
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.database.Predicate_current_predicate
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.database.Predicate_retract
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.datetime.Predicate_date_time_stamp
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.datetime.Predicate_date_time_value
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.datetime.Predicate_format_time
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.datetime.Predicate_get_time
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.datetime.Predicate_parse_time
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.datetime.Predicate_stamp_date_time
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.debug.Predicate_debugging
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.debug.Predicate_nospy
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.debug.Predicate_nospyall
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.debug.Predicate_notrace
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.debug.Predicate_spy
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.debug.Predicate_trace
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.debug.Predicate_tracing
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.dialogs.Predicate_confirm
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.dialogs.Predicate_file_open
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.dialogs.Predicate_file_save
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.dialogs.Predicate_message
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.dialogs.Predicate_prompt
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.imphooks.Predicate_current_prolog_flag
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.imphooks.Predicate_halt
this method is used for execution of code Halts execution by throwing PrologHalt DO NOT catch this.
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.imphooks.Predicate_set_prolog_flag
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.io.Predicate_at_end_of_stream
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.io.Predicate_char_conversion
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.io.Predicate_close
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.io.Predicate_current_char_conversion
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.io.Predicate_current_input
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.io.Predicate_current_op
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.io.Predicate_current_output
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.io.Predicate_ensure_loaded
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.io.Predicate_flush_output
this method is used for execution of code
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.io.Predicate_get_byte
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.io.Predicate_get_char
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.io.Predicate_op
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.io.Predicate_open
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.io.Predicate_peek_byte
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.io.Predicate_peek_char
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.io.Predicate_put_byte
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.io.Predicate_put_char
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.io.Predicate_read_term
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.io.Predicate_set_input
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.io.Predicate_set_output
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.io.Predicate_set_stream_position
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.io.Predicate_stream_property
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.io.Predicate_write_term
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.java.Predicate_java_classname
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.java.Predicate_java_to_string
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.list.Predicate_append
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.list.Predicate_is_list
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.list.Predicate_length
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.list.Predicate_member
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.list.Predicate_msort
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.list.Predicate_predsort
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.list.Predicate_sort
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.misc.Predicate_current_functor
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.misc.Predicate_listing
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.misc.Predicate_stacktrace
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.termcomparsion.Predicate_compare
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.termcomparsion.Predicate_term_greater_then
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.termcomparsion.Predicate_term_greater_then_or_equal
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.termcomparsion.Predicate_term_identical
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.termcomparsion.Predicate_term_less_then
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.termcomparsion.Predicate_term_less_then_or_equal
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.termcomparsion.Predicate_term_not_identical
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.termcreation.Predicate_arg
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.termcreation.Predicate_copy_term
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.termcreation.Predicate_functor
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.termcreation.Predicate_univ
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.typetesting.Predicate_atom
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.typetesting.Predicate_atomic
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.typetesting.Predicate_compound
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.typetesting.Predicate_float
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.typetesting.Predicate_integer
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.typetesting.Predicate_java_object
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.typetesting.Predicate_nonvar
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.typetesting.Predicate_number
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.typetesting.Predicate_var
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.unification.Predicate_not_unifiable
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.unification.Predicate_unify
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.unification.Predicate_unify_with_occurs_check
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.uuid.Predicate_uuid3
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.uuid.Predicate_uuid4
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.uuid.Predicate_uuid_compare
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.uuid.Predicate_uuid_variant
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.buildins.uuid.Predicate_uuid_version
 
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.ExecuteOnlyCode
 
execute(Interpreter.Goal) - Method in class gnu.prolog.vm.Interpreter
Execute the Interpreter.Goal and return the status code indicating how successful this was.
execute(ExecutionState, BacktrackInfo) - Method in class gnu.prolog.vm.interpreter.instruction.IAllocate
execute call instruction within specified sate
execute(ExecutionState, BacktrackInfo) - Method in class gnu.prolog.vm.interpreter.instruction.ICall
execute call instruction within specified sate
execute(ExecutionState, BacktrackInfo) - Method in class gnu.prolog.vm.interpreter.instruction.ICreateCompoundTerm
execute call instruction within specified sate
execute(ExecutionState, BacktrackInfo) - Method in class gnu.prolog.vm.interpreter.instruction.ICreateVariable
execute call instruction within specified sate
execute(ExecutionState, BacktrackInfo) - Method in class gnu.prolog.vm.interpreter.instruction.ICut
execute call instruction within specified sate
execute(ExecutionState, BacktrackInfo) - Method in class gnu.prolog.vm.interpreter.instruction.IDup
execute call instruction within specified sate
execute(ExecutionState, BacktrackInfo) - Method in class gnu.prolog.vm.interpreter.instruction.IFail
execute call instruction within specified sate
execute(ExecutionState, BacktrackInfo) - Method in class gnu.prolog.vm.interpreter.instruction.IJump
execute call instruction within specified sate
execute(ExecutionState, BacktrackInfo) - Method in class gnu.prolog.vm.interpreter.instruction.Instruction
execute instruction
execute(ExecutionState, BacktrackInfo) - Method in class gnu.prolog.vm.interpreter.instruction.IPop
execute call instruction within specified sate
execute(ExecutionState, BacktrackInfo) - Method in class gnu.prolog.vm.interpreter.instruction.IPushArgument
execute call instruction within specified sate
execute(ExecutionState, BacktrackInfo) - Method in class gnu.prolog.vm.interpreter.instruction.IPushConstant
execute call instruction within specified sate
execute(ExecutionState, BacktrackInfo) - Method in class gnu.prolog.vm.interpreter.instruction.IPushEnvironment
execute call instruction within specified sate
execute(ExecutionState, BacktrackInfo) - Method in class gnu.prolog.vm.interpreter.instruction.IRestoreState
execute call instruction within specified sate
execute(ExecutionState, BacktrackInfo) - Method in class gnu.prolog.vm.interpreter.instruction.IRetryMeElse
execute call instruction within specified sate
execute(ExecutionState, BacktrackInfo) - Method in class gnu.prolog.vm.interpreter.instruction.IReturn
execute call instruction within specified sate
execute(ExecutionState, BacktrackInfo) - Method in class gnu.prolog.vm.interpreter.instruction.ISaveCut
execute call instruction within specified sate
execute(ExecutionState, BacktrackInfo) - Method in class gnu.prolog.vm.interpreter.instruction.ISaveState
execute call instruction within specified sate
execute(ExecutionState, BacktrackInfo) - Method in class gnu.prolog.vm.interpreter.instruction.IStoreEnvironment
execute call instruction within specified sate
execute(ExecutionState, BacktrackInfo) - Method in class gnu.prolog.vm.interpreter.instruction.IThrow
execute call instruction within specified sate
execute(ExecutionState, BacktrackInfo) - Method in class gnu.prolog.vm.interpreter.instruction.ITrue
execute call instruction within specified sate
execute(ExecutionState, BacktrackInfo) - Method in class gnu.prolog.vm.interpreter.instruction.ITrustMe
execute call instruction within specified sate
execute(ExecutionState, BacktrackInfo) - Method in class gnu.prolog.vm.interpreter.instruction.ITryMeElse
execute call instruction within specified sate
execute(ExecutionState, BacktrackInfo) - Method in class gnu.prolog.vm.interpreter.instruction.IUnify
execute call instruction within specified sate
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.interpreter.InterpretedByteCode
this method is used for execution of code
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.interpreter.Predicate_call
 
execute(Interpreter, boolean, Term[]) - Method in interface gnu.prolog.vm.PrologCode
this method is used for execution of code
execute(Interpreter, boolean, Term[]) - Method in class gnu.prolog.vm.UndefinedPredicateCode
 
ExecuteOnlyCode - Class in gnu.prolog.vm
For Predicates which do not need to be installed or uninstalled.
ExecuteOnlyCode() - Constructor for class gnu.prolog.vm.ExecuteOnlyCode
 
ExecutionState - Class in gnu.prolog.vm.interpreter
execution state class
ExecutionState() - Constructor for class gnu.prolog.vm.interpreter.ExecutionState
 
executionState - Variable in class gnu.prolog.vm.interpreter.LeaveBacktrackInfo
execution state
existenceError(AtomTerm, Term) - Static method in exception gnu.prolog.vm.PrologException
 
existenceErrorTag - Static variable in exception gnu.prolog.vm.PrologException
 
exitCode - Variable in error gnu.prolog.vm.PrologHalt
 
exp1 - Static variable in class gnu.prolog.vm.Evaluate
 
expectedTokens - Variable in exception gnu.prolog.io.ParseException
 
expectedTokenSequences - Variable in exception gnu.prolog.io.parser.gen.ParseException
Each entry in this array is an array of integers.
EXPONENT - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
extension - Variable in class gnu.prolog.vm.buildins.dialogs.TermFileFilter
 
externalTag - Static variable in class gnu.prolog.database.PrologTextLoader
 

F

FAIL - Static variable in interface gnu.prolog.vm.PrologCode
predicate failed
failAtom - Static variable in class gnu.prolog.vm.TermConstants
 
falseAtom - Static variable in class gnu.prolog.vm.TermConstants
 
file - Variable in exception gnu.prolog.database.PrologTextLoaderError
 
file - Variable in class gnu.prolog.vm.BinaryPrologStream
 
file1Tag - Static variable in class gnu.prolog.database.PrologTextLoader
 
fileFilters - Variable in class gnu.prolog.vm.buildins.dialogs.Predicate_dialog.DialogOptions
 
FILEMASK_TAG - Static variable in class gnu.prolog.vm.buildins.dialogs.Predicate_dialog
 
filename - Variable in class gnu.prolog.vm.PrologStream
 
filename - Variable in class gnu.prolog.vm.PrologStream.OpenOptions
 
filenameTag - Static variable in class gnu.prolog.vm.PrologStream
 
fileReader - Variable in class gnu.prolog.vm.TextInputPrologStream
 
files - Variable in class gnu.prolog.database.Predicate
set files where this predicate is defined
fileStack - Variable in class gnu.prolog.database.PrologTextLoader
stack of previous files
fileTag - Static variable in class gnu.prolog.database.PrologTextLoaderState
 
fileWriter - Variable in class gnu.prolog.vm.TextOutputPrologStream
 
finalize() - Method in class gnu.prolog.vm.interpreter.Predicate_call.CallTermBacktrackInfo
 
findall(Interpreter, boolean, Term, Term, List<Term>) - Static method in class gnu.prolog.vm.buildins.allsolutions.Predicate_findall
 
findOrCreatePredicate(CompoundTermTag) - Method in class gnu.prolog.database.PrologTextLoaderState
 
first_nonopt - Variable in class gnu.getopt.Getopt
The index of the first non-option in argv[]
firstTime - Variable in class gnu.prolog.vm.Interpreter.Goal
 
flag - Variable in class gnu.getopt.LongOpt
If this variable is not null, then the value stored in "val" is stored here when this long option is encountered.
flagAtom - Static variable in class gnu.prolog.vm.TermConstants
 
flagValueAtom - Static variable in class gnu.prolog.vm.Environment
 
flagValueAtom - Static variable in class gnu.prolog.vm.TermConstants
 
FLOAT - Static variable in class gnu.prolog.term.Term
 
float1 - Static variable in class gnu.prolog.vm.Evaluate
 
float_number() - Method in class gnu.prolog.io.parser.gen.TermParser
 
FLOAT_NUMBER_TOKEN - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
floatAtom - Static variable in class gnu.prolog.vm.Evaluate
 
floatAtom - Static variable in class gnu.prolog.vm.TermConstants
 
floatOverflowAtom - Static variable in class gnu.prolog.vm.TermConstants
 
FloatTerm - Class in gnu.prolog.term
floating point number term
FloatTerm(String) - Constructor for class gnu.prolog.term.FloatTerm
get floating point number term
FloatTerm(double) - Constructor for class gnu.prolog.term.FloatTerm
a constructor
floor1 - Static variable in class gnu.prolog.vm.Evaluate
 
flush() - Method in class gnu.prolog.vm.RandomAccessFileWriter
 
flushOutput(Term) - Method in class gnu.prolog.vm.BinaryPrologStream
 
flushOutput(Term) - Method in class gnu.prolog.vm.PrologStream
 
flushOutput(Term) - Method in class gnu.prolog.vm.TextInputPrologStream
 
flushOutput(Term) - Method in class gnu.prolog.vm.TextOutputPrologStream
 
FRACTION - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
fractpart1 - Static variable in class gnu.prolog.vm.Evaluate
 
fromAtom(AtomTerm) - Static method in enum gnu.prolog.vm.Environment.DoubleQuotesValue
 
fromString(String) - Static method in enum gnu.prolog.vm.interpreter.Tracer.TraceLevel
Convert a string to an enum set
functor - Variable in class gnu.prolog.term.CompoundTermTag
a functor of term
FX - Static variable in class gnu.prolog.io.Operator
 
fxAtom - Static variable in class gnu.prolog.vm.TermConstants
 
fxOp - Variable in class gnu.prolog.io.parser.NameToken
 
FY - Static variable in class gnu.prolog.io.Operator
 
fyAtom - Static variable in class gnu.prolog.vm.TermConstants
 

G

generateParseException() - Method in class gnu.prolog.io.parser.gen.TermParser
 
generateQuestion(int, int) - Static method in class gnu.prolog.demo.mentalarithmetic.MentalArithmetic
 
get(String) - Static method in class gnu.prolog.term.AtomTerm
get atom term
get(char) - Static method in class gnu.prolog.term.AtomTerm
get atom term
get(CompoundTerm) - Static method in class gnu.prolog.term.CompoundTermTag
get compound term tag
get(String, int) - Static method in class gnu.prolog.term.CompoundTermTag
get compound term tag
get(AtomTerm, int) - Static method in class gnu.prolog.term.CompoundTermTag
get compound term tag
get(int) - Static method in class gnu.prolog.term.IntegerTerm
get integer term equal to val
get(String) - Static method in class gnu.prolog.term.IntegerTerm
get integer term using string value
getArgs() - Method in class gnu.prolog.vm.interpreter.TracerEvent
 
getArity() - Method in class gnu.prolog.database.Predicate
get arity of predicate
getAtom() - Method in enum gnu.prolog.vm.Environment.DoubleQuotesValue
 
getAtom() - Method in interface gnu.prolog.vm.HasAtom
Get the AtomTerm for this class.
getBeginColumn() - Method in interface gnu.prolog.io.parser.gen.CharStream
Returns the column number of the first character for current token (being matched after the last call to BeginTOken).
getBeginColumn() - Method in class gnu.prolog.io.parser.ReaderCharStream
 
getBeginLine() - Method in interface gnu.prolog.io.parser.gen.CharStream
Returns the line number of the first character for current token (being matched after the last call to BeginTOken).
getBeginLine() - Method in class gnu.prolog.io.parser.ReaderCharStream
 
getByte(Term, Interpreter) - Method in class gnu.prolog.vm.BinaryPrologStream
 
getByte(Term, Interpreter) - Method in class gnu.prolog.vm.PrologStream
 
getByte(Term, Interpreter) - Method in class gnu.prolog.vm.TextInputPrologStream
 
getByte(Term, Interpreter) - Method in class gnu.prolog.vm.TextOutputPrologStream
 
getCallBacktrackInfo(int, Term[], PrologCode, CompoundTermTag) - Method in class gnu.prolog.vm.interpreter.ExecutionState
get BacktrackInfo for call instruction.
getCallStack() - Method in class gnu.prolog.vm.interpreter.Tracer
 
getClause(Term, Map<Term, VariableTerm>) - Static method in class gnu.prolog.vm.interpreter.Predicate_call
convert callable term to clause
getClauses() - Method in class gnu.prolog.database.Predicate
get clauses of predicate You must synchronize on this class when iterating through this list as although it is a synchronized list you are getting a unmodifiable view of that list.
getCode(Term, Interpreter) - Method in class gnu.prolog.vm.BinaryPrologStream
 
getCode(Term, Interpreter) - Method in class gnu.prolog.vm.PrologStream
 
getCode(Term, Interpreter) - Method in class gnu.prolog.vm.TextInputPrologStream
 
getCode(Term, Interpreter) - Method in class gnu.prolog.vm.TextOutputPrologStream
 
getColumn() - Method in exception gnu.prolog.database.PrologTextLoaderError
 
getColumn() - Method in exception gnu.prolog.io.ParseException
 
getColumn() - Method in interface gnu.prolog.io.parser.gen.CharStream
Deprecated.  
getColumn() - Method in class gnu.prolog.io.parser.ReaderCharStream
Deprecated.  
getCommaLevel() - Method in class gnu.prolog.io.OperatorSet
 
getComparator(Interpreter, Term) - Method in class gnu.prolog.vm.buildins.list.Predicate_predsort
 
getConjunction(Term, Term) - Static method in class gnu.prolog.term.CompoundTerm
get conjunction term
getContext(String) - Method in class gnu.prolog.vm.Interpreter
Deprecated. 
getConversionTable() - Method in class gnu.prolog.database.PrologTextLoaderState
 
getConversionTable() - Method in class gnu.prolog.vm.Environment
 
getCurrentColumn() - Method in class gnu.prolog.database.PrologTextLoader
 
getCurrentColumn() - Method in class gnu.prolog.io.parser.gen.TermParser
 
getCurrentColumn() - Method in class gnu.prolog.io.TermReader
 
getCurrentColumn() - Method in class gnu.prolog.vm.PrologStream
 
getCurrentColumn() - Method in class gnu.prolog.vm.TextInputPrologStream
 
getCurrentFile() - Method in class gnu.prolog.database.PrologTextLoader
 
getCurrentInput() - Method in class gnu.prolog.vm.Environment
 
getCurrentLine() - Method in class gnu.prolog.database.PrologTextLoader
 
getCurrentLine() - Method in class gnu.prolog.io.parser.gen.TermParser
 
getCurrentLine() - Method in class gnu.prolog.io.TermReader
 
getCurrentLine() - Method in class gnu.prolog.vm.PrologStream
 
getCurrentLine() - Method in class gnu.prolog.vm.TextInputPrologStream
 
getCurrentOutput() - Method in class gnu.prolog.vm.Environment
 
getCurrentPartialLoaderError() - Method in class gnu.prolog.database.PrologTextLoader
Get a PrologTextLoaderError for the position the PrologTextLoader is at to use later if something goes wrong caused by an error here.
getDate(Term) - Static method in class gnu.prolog.vm.buildins.datetime.DateTimePrologCode
 
getDate9Value(Term, CompoundTerm) - Method in class gnu.prolog.vm.buildins.datetime.Predicate_date_time_value
 
getDefault() - Static method in enum gnu.prolog.vm.Environment.DoubleQuotesValue
 
getDefaultInputStream() - Static method in class gnu.prolog.vm.Environment
 
getDefaultOutputStream() - Static method in class gnu.prolog.vm.Environment
 
getDefinedPredicate(CompoundTermTag) - Method in class gnu.prolog.database.Module
get predicate defined in this module
getDescription() - Method in class gnu.prolog.vm.buildins.dialogs.TermFileFilter
 
getDisjunction(Term, Term) - Static method in class gnu.prolog.term.CompoundTerm
get disjunction term
getEndColumn() - Method in interface gnu.prolog.io.parser.gen.CharStream
Returns the column number of the last character for current token (being matched after the last call to BeginTOken).
getEndColumn() - Method in class gnu.prolog.io.parser.ReaderCharStream
 
getEndLine() - Method in interface gnu.prolog.io.parser.gen.CharStream
Returns the line number of the last character for current token (being matched after the last call to BeginTOken).
getEndLine() - Method in class gnu.prolog.io.parser.ReaderCharStream
 
getEndOfStreamState() - Method in class gnu.prolog.vm.BinaryPrologStream
 
getEndOfStreamState() - Method in class gnu.prolog.vm.PrologStream
 
getEnterBacktrackInfo() - Method in class gnu.prolog.vm.interpreter.ExecutionState
get enter backtrack info
getEnvironment() - Method in class gnu.prolog.database.PrologTextLoaderState
 
getEnvironment() - Method in interface gnu.prolog.vm.HasEnvironment
 
getEnvironment(int) - Method in class gnu.prolog.vm.interpreter.ExecutionState
get term from environment
getEnvironment() - Method in class gnu.prolog.vm.Interpreter
get environment
getEnvironment() - Method in class gnu.prolog.vm.PrologCodeUpdatedEvent
get environment
getErrors() - Method in class gnu.prolog.database.PrologTextLoaderState
 
getExistentialVariableSet(Term, Set<Term>) - Static method in class gnu.prolog.term.TermUtils
get existential variable set
getExitCode() - Method in class gnu.prolog.vm.Interpreter
Only call this method if you have had PrologCode.HALT returned by the most recent call to Interpreter.execute(Goal).
getExitCode() - Method in error gnu.prolog.vm.PrologHalt
 
getFile() - Method in exception gnu.prolog.database.PrologTextLoaderError
 
getFlag() - Method in class gnu.getopt.LongOpt
Returns the value of the 'flag' field for this long option
getFreeVariableSet(Term, Term, Set<Term>) - Static method in class gnu.prolog.term.TermUtils
get free variables of term1 with respect to term2
getFunctor() - Method in class gnu.prolog.database.Predicate
get functor of predicate
getGoal() - Method in class gnu.prolog.vm.Interpreter.Goal
 
getHasArg() - Method in class gnu.getopt.LongOpt
Returns the value set for the 'has_arg' field for this long option
GetImage() - Method in interface gnu.prolog.io.parser.gen.CharStream
Returns a string made up of characters from the marked token beginning to the current buffer position.
GetImage() - Method in class gnu.prolog.io.parser.ReaderCharStream
 
getInitialization() - Method in class gnu.prolog.database.Module
get initaliztion
getInputName(Term) - Method in class gnu.prolog.database.PrologTextLoaderState
 
getInputStream(Term) - Method in class gnu.prolog.database.PrologTextLoaderState
 
getIntruction(int) - Method in class gnu.prolog.vm.interpreter.InterpretedByteCode
convert code to string
getJavaClassName() - Method in class gnu.prolog.database.Predicate
Get name of Java class that defines this predicate.
getLeaveBacktrackInfo() - Method in class gnu.prolog.vm.interpreter.ExecutionState
get leave backtrack info
getLevel() - Method in class gnu.prolog.vm.interpreter.TracerEvent
 
getLine() - Method in exception gnu.prolog.database.PrologTextLoaderError
 
getLine() - Method in exception gnu.prolog.io.ParseException
 
getLine() - Method in interface gnu.prolog.io.parser.gen.CharStream
Deprecated.  
getLine() - Method in class gnu.prolog.io.parser.ReaderCharStream
Deprecated.  
getList(Term, Term) - Static method in class gnu.prolog.term.CompoundTerm
get list pair
getList(Term[]) - Static method in class gnu.prolog.term.CompoundTerm
get prolog list by java array
getList(List<Term>) - Static method in class gnu.prolog.term.CompoundTerm
get prolog list by java list
getLoadingErrors() - Method in class gnu.prolog.vm.Environment
 
getLongind() - Method in class gnu.getopt.Getopt
Returns the index into the array of long options (NOT argv) representing the long option that was found.
getMajor() - Static method in class gnu.prolog.Version
 
getMaxLevel() - Method in class gnu.prolog.io.OperatorSet
 
getMessage() - Method in exception gnu.prolog.io.parser.gen.ParseException
This method has the standard behavior when this object has been created using the standard constructors.
getMessage() - Method in error gnu.prolog.io.parser.gen.TokenMgrError
You can also modify the body of this method to customize your error messages.
getMessage() - Method in exception gnu.prolog.vm.PrologException
 
getMinor() - Static method in class gnu.prolog.Version
 
getMode() - Method in class gnu.prolog.vm.PrologStream
 
getModule() - Method in class gnu.prolog.database.PredicateUpdatedEvent
get module of changed predicate
getModule() - Method in class gnu.prolog.database.PrologTextLoaderState
 
getModule() - Method in class gnu.prolog.vm.Environment
 
getName() - Method in class gnu.getopt.LongOpt
Returns the name of this LongOpt as a String
getNextLevel(int) - Method in class gnu.prolog.io.OperatorSet
 
getNextToken() - Method in class gnu.prolog.io.parser.gen.TermParser
 
getNextToken() - Method in class gnu.prolog.io.parser.gen.TermParserTokenManager
 
getOperatorForTag(CompoundTermTag) - Method in class gnu.prolog.io.OperatorSet
 
getOperators() - Method in class gnu.prolog.io.OperatorSet
get all operators currently in the set
getOperatorSet() - Method in class gnu.prolog.vm.Environment
 
Getopt - Class in gnu.getopt
This is a Java port of GNU getopt, a class for parsing command line arguments passed to programs.
Getopt(String, String[], String) - Constructor for class gnu.getopt.Getopt
Construct a basic Getopt instance with the given input data.
Getopt(String, String[], String, LongOpt[]) - Constructor for class gnu.getopt.Getopt
Construct a Getopt instance with given input data that is capable of parsing long options as well as short.
Getopt(String, String[], String, LongOpt[], boolean) - Constructor for class gnu.getopt.Getopt
Construct a Getopt instance with given input data that is capable of parsing long options and short options.
getopt() - Method in class gnu.getopt.Getopt
This method returns a char that is the current option that has been parsed from the command line.
getOptarg() - Method in class gnu.getopt.Getopt
For communication from `getopt' to the caller.
GetoptDemo - Class in gnu.getopt
 
GetoptDemo() - Constructor for class gnu.getopt.GetoptDemo
 
getOptind() - Method in class gnu.getopt.Getopt
optind it the index in ARGV of the next element to be scanned.
getOptopt() - Method in class gnu.getopt.Getopt
When getopt() encounters an invalid option, it stores the value of that option in optopt which can be retrieved with this method.
getPosition(Term, Interpreter) - Method in class gnu.prolog.vm.BinaryPrologStream
 
getPosition(Term, Interpreter) - Method in class gnu.prolog.vm.PrologStream
 
getPosition() - Method in class gnu.prolog.vm.RandomAccessFileReader
 
getPosition() - Method in class gnu.prolog.vm.RandomAccessFileWriter
 
getPosition(Term, Interpreter) - Method in class gnu.prolog.vm.TextInputPrologStream
 
getPosition(Term, Interpreter) - Method in class gnu.prolog.vm.TextOutputPrologStream
 
getPredicateIndicator() - Method in class gnu.prolog.term.CompoundTermTag
get predicate indicator for this tag
getPredicateTag() - Method in class gnu.prolog.vm.PrologCodeUpdatedEvent
get tag of predicate
getPredicateTags() - Method in class gnu.prolog.database.Module
get predicate tags
getPrologCode(CompoundTermTag) - Method in class gnu.prolog.vm.Environment
get prolog code
getPrologFlag(AtomTerm) - Method in class gnu.prolog.term.ChangeableTerm
 
getPrologFlag(AtomTerm) - Method in class gnu.prolog.vm.Environment
get flag for this environment
getPrologFlags() - Method in class gnu.prolog.vm.Environment
get copy of current state of flags for this environment
getPrologTextLoaderState() - Method in class gnu.prolog.database.PrologTextLoader
 
getPrologTextLoaderState() - Method in class gnu.prolog.vm.Environment
 
getProperties(List<Term>) - Method in class gnu.prolog.vm.PrologStream
 
getReleaseType() - Static method in class gnu.prolog.Version
 
getRetryBacktrackInfo(int) - Method in class gnu.prolog.vm.interpreter.ExecutionState
get BacktrackInfo for try family instructions.
getRevision() - Static method in class gnu.prolog.Version
 
getSingleQuoted(String) - Static method in class gnu.prolog.io.TermWriter
get single quoted string.
getStreamProperties() - Method in class gnu.prolog.vm.Environment
 
getStreamTerm() - Method in class gnu.prolog.vm.PrologStream
 
GetSuffix(int) - Method in interface gnu.prolog.io.parser.gen.CharStream
Returns an array of characters that make up the suffix of length 'len' for the currently matched token.
GetSuffix(int) - Method in class gnu.prolog.io.parser.ReaderCharStream
 
getTag() - Method in class gnu.prolog.database.Predicate
get tag of predicate
getTag() - Method in class gnu.prolog.database.PredicateUpdatedEvent
get tag of changed predicate
getTag(Term) - Static method in class gnu.prolog.vm.buildins.debug.Predicate_spy
 
getTag() - Method in class gnu.prolog.vm.interpreter.TracerEvent
 
getTerm(Term) - Method in class gnu.prolog.term.TermCloneContext
get cloned term if it is alrady added to context
getTerm() - Method in exception gnu.prolog.vm.PrologException
get term of this exception
getTermType() - Method in class gnu.prolog.term.AtomTerm
get type of term
getTermType() - Method in class gnu.prolog.term.CompoundTerm
get type of term
getTermType() - Method in class gnu.prolog.term.FloatTerm
get type of term
getTermType() - Method in class gnu.prolog.term.IntegerTerm
get type of term
getTermType() - Method in class gnu.prolog.term.JavaObjectTerm
get type of term
getTermType() - Method in class gnu.prolog.term.Term
get type of term
getTermType() - Method in class gnu.prolog.term.VariableTerm
get type of term
getTextLoaderState() - Method in class gnu.prolog.vm.Environment
Deprecated. 
getToken(int) - Method in class gnu.prolog.io.parser.gen.TermParser
 
getTraceLevel(Term) - Static method in class gnu.prolog.vm.buildins.debug.Predicate_spy
 
getTracer() - Method in class gnu.prolog.vm.Interpreter
 
getTracer() - Method in class gnu.prolog.vm.interpreter.TracerEvent
 
getType() - Method in class gnu.prolog.database.Predicate
get type of predicate
getUndefinedPredicateCode(CompoundTermTag) - Method in class gnu.prolog.vm.Environment
get undefined predicate code
getUndoPosition() - Method in class gnu.prolog.vm.Interpreter
get current undo position
getUndoPosition() - Method in class gnu.prolog.vm.PrologCollectionIterator
 
getUserInput() - Method in class gnu.prolog.vm.Environment
 
getUserOutput() - Method in class gnu.prolog.vm.Environment
 
getUUID(Term) - Static method in class gnu.prolog.vm.buildins.uuid.Predicate_uuid
Get the UUID from an atom term.
getVal() - Method in class gnu.getopt.LongOpt
Returns the value of the 'val' field for this long option
getValue() - Method in class gnu.prolog.io.parser.NameToken
 
getVariableSet(Term, Set<Term>) - Static method in class gnu.prolog.term.TermUtils
get variable set
getVersion() - Static method in class gnu.prolog.Version
 
getWitness(Set<Term>) - Static method in class gnu.prolog.term.TermUtils
get witness of variable set, now just list of variables
gnu.getopt - package gnu.getopt
 
gnu.prolog - package gnu.prolog
 
gnu.prolog.database - package gnu.prolog.database
 
gnu.prolog.demo - package gnu.prolog.demo
This package contains demo programs which show how to use the gnu.prolog library
gnu.prolog.demo.mentalarithmetic - package gnu.prolog.demo.mentalarithmetic
This package contains a simple demo program showing how to use gnu.prolog in java programs in order to do backtracking search.
gnu.prolog.gui - package gnu.prolog.gui
 
gnu.prolog.io - package gnu.prolog.io
 
gnu.prolog.io.parser - package gnu.prolog.io.parser
This package contains the TermParser.jj file which is used by javacc to generate the parser found in gnu.prolog.io.parser.gen.
gnu.prolog.io.parser.gen - package gnu.prolog.io.parser.gen
 
gnu.prolog.term - package gnu.prolog.term
Contains the various types of Term that can be used.
gnu.prolog.test - package gnu.prolog.test
 
gnu.prolog.vm - package gnu.prolog.vm
 
gnu.prolog.vm.buildins.allsolutions - package gnu.prolog.vm.buildins.allsolutions
 
gnu.prolog.vm.buildins.arithmetics - package gnu.prolog.vm.buildins.arithmetics
 
gnu.prolog.vm.buildins.atomicterms - package gnu.prolog.vm.buildins.atomicterms
 
gnu.prolog.vm.buildins.database - package gnu.prolog.vm.buildins.database
 
gnu.prolog.vm.buildins.datetime - package gnu.prolog.vm.buildins.datetime
 
gnu.prolog.vm.buildins.debug - package gnu.prolog.vm.buildins.debug
 
gnu.prolog.vm.buildins.dialogs - package gnu.prolog.vm.buildins.dialogs
 
gnu.prolog.vm.buildins.imphooks - package gnu.prolog.vm.buildins.imphooks
 
gnu.prolog.vm.buildins.io - package gnu.prolog.vm.buildins.io
 
gnu.prolog.vm.buildins.java - package gnu.prolog.vm.buildins.java
 
gnu.prolog.vm.buildins.list - package gnu.prolog.vm.buildins.list
 
gnu.prolog.vm.buildins.misc - package gnu.prolog.vm.buildins.misc
 
gnu.prolog.vm.buildins.termcomparsion - package gnu.prolog.vm.buildins.termcomparsion
 
gnu.prolog.vm.buildins.termcreation - package gnu.prolog.vm.buildins.termcreation
 
gnu.prolog.vm.buildins.typetesting - package gnu.prolog.vm.buildins.typetesting
 
gnu.prolog.vm.buildins.unification - package gnu.prolog.vm.buildins.unification
 
gnu.prolog.vm.buildins.uuid - package gnu.prolog.vm.buildins.uuid
 
gnu.prolog.vm.interpreter - package gnu.prolog.vm.interpreter
InterpretedCodeCompiler uses the various classes beginning with I and extending Instruction in the instruction sub-package to compile clauses to InterpretedByteCode.
gnu.prolog.vm.interpreter.instruction - package gnu.prolog.vm.interpreter.instruction
 
GoalRunner - Class in gnu.prolog.test
 
GRAPHIC_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
GRAPHIC_CHAR_PERIOD - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
GRAPHIC_TOKEN - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
GRAPHIC_TOKEN_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
GT_ATOM - Static variable in class gnu.prolog.vm.buildins.termcomparsion.Predicate_compare
 

H

HALT - Static variable in interface gnu.prolog.vm.PrologCode
returned by the interpreter when it was halted, should never be returned by prolog code
handlerPosition - Variable in class gnu.prolog.vm.interpreter.ExceptionHandlerInfo
position where to go for exception handling
has_arg - Variable in class gnu.getopt.LongOpt
Indicates whether the option has no argument, a required argument, or an optional argument.
HasAtom - Interface in gnu.prolog.vm
Implementing classes have an AtomTerm which can be got.
hasConversions() - Method in class gnu.prolog.io.CharConversionTable
 
HasEnvironment - Interface in gnu.prolog.vm
Implementing classes can return an environment.
hashCode() - Method in class gnu.prolog.term.AtomTerm
 
hashCode() - Method in class gnu.prolog.term.CompoundTermTag
 
HEAD_TAIL_SEPARATOR_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
HEAD_TAIL_SEPARATOR_TOKEN - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
headFunctor - Static variable in class gnu.prolog.vm.interpreter.Predicate_call
head functor, it is completly unimportant what it is
HEXADECIMAL_CONSTANT - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
HEXADECIMAL_DIGIT_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
HEXADECIMAL_ESCAPE_SEQUENCE - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
hourAtom - Static variable in class gnu.prolog.vm.buildins.datetime.Predicate_date_time_value
 
ht_sep() - Method in class gnu.prolog.io.parser.gen.TermParser
 

I

IAllocate - Class in gnu.prolog.vm.interpreter.instruction
allocate environment instruction
IAllocate(int, int) - Constructor for class gnu.prolog.vm.interpreter.instruction.IAllocate
 
IALLOCATE - Static variable in class gnu.prolog.vm.interpreter.InterpretedByteCode
 
ICall - Class in gnu.prolog.vm.interpreter.instruction
call instruction.
ICall(CompoundTermTag) - Constructor for class gnu.prolog.vm.interpreter.instruction.ICall
a constructor
ICALL - Static variable in class gnu.prolog.vm.interpreter.InterpretedByteCode
 
ICREATE_COMPOUND - Static variable in class gnu.prolog.vm.interpreter.InterpretedByteCode
 
ICREATE_VARIABLE - Static variable in class gnu.prolog.vm.interpreter.InterpretedByteCode
 
ICreateCompoundTerm - Class in gnu.prolog.vm.interpreter.instruction
create compound term
ICreateCompoundTerm(CompoundTermTag) - Constructor for class gnu.prolog.vm.interpreter.instruction.ICreateCompoundTerm
a constructor
ICreateVariable - Class in gnu.prolog.vm.interpreter.instruction
create variable on pushDownStack
ICreateVariable() - Constructor for class gnu.prolog.vm.interpreter.instruction.ICreateVariable
 
ICut - Class in gnu.prolog.vm.interpreter.instruction
cut instruction
ICut(int) - Constructor for class gnu.prolog.vm.interpreter.instruction.ICut
a constructor
ICUT - Static variable in class gnu.prolog.vm.interpreter.InterpretedByteCode
 
IDENTIFIER_TOKEN - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
IDup - Class in gnu.prolog.vm.interpreter.instruction
duplicate top of pushdown stack
IDup() - Constructor for class gnu.prolog.vm.interpreter.instruction.IDup
 
IDUP - Static variable in class gnu.prolog.vm.interpreter.InterpretedByteCode
 
IFail - Class in gnu.prolog.vm.interpreter.instruction
fail instruction
IFail() - Constructor for class gnu.prolog.vm.interpreter.instruction.IFail
 
IFAIL - Static variable in class gnu.prolog.vm.interpreter.InterpretedByteCode
 
ifTag - Static variable in class gnu.prolog.vm.TermConstants
tag for if
IGNORE_ATOM - Static variable in class gnu.prolog.vm.buildins.dialogs.Predicate_dialog
 
ignoreOps - Variable in class gnu.prolog.io.WriteOptions
If this option is true each compound term is output in functional notation.
ignoreOpsTag - Static variable in class gnu.prolog.vm.TermConstants
 
IJump - Class in gnu.prolog.vm.interpreter.instruction
true instruction
IJump(int) - Constructor for class gnu.prolog.vm.interpreter.instruction.IJump
 
IJUMP - Static variable in class gnu.prolog.vm.interpreter.InterpretedByteCode
 
image - Variable in class gnu.prolog.io.parser.gen.Token
The string image of the token.
inByteAtom - Static variable in class gnu.prolog.vm.TermConstants
 
inCharacterAtom - Static variable in class gnu.prolog.vm.TermConstants
 
inCharacterCodeAtom - Static variable in class gnu.prolog.vm.TermConstants
 
includeTag - Static variable in class gnu.prolog.database.PrologTextLoader
 
INFO_ATOM - Static variable in class gnu.prolog.vm.buildins.dialogs.Predicate_dialog
 
initDefault() - Method in class gnu.prolog.io.OperatorSet
 
initEnvironment() - Method in class gnu.prolog.vm.Environment
Initialize the environment
initialization - Variable in class gnu.prolog.database.Module
initialization
initializationTag - Static variable in class gnu.prolog.database.PrologTextLoader
 
initialize(Environment) - Method in class gnu.prolog.vm.EnvInitializer
 
initStreams(InputStream, OutputStream) - Method in class gnu.prolog.vm.Environment
 
inputAtom - Static variable in class gnu.prolog.vm.PrologStream
 
inputAtom - Static variable in class gnu.prolog.vm.TermConstants
 
install(Environment) - Method in class gnu.prolog.vm.ExecuteOnlyCode
Just an empty method as we don't need to do anything here.
install(Environment) - Method in interface gnu.prolog.vm.Installable
this method is called when code is installed to the environment code can be installed only for one environment.
install(Environment) - Method in class gnu.prolog.vm.interpreter.instruction.ICall
install instruction to environment
install(Environment) - Method in class gnu.prolog.vm.interpreter.instruction.Instruction
install instruction to environment
install(Environment) - Method in class gnu.prolog.vm.interpreter.InterpretedByteCode
this method is called when code is installed to the environment code can be installed only for one environment.
Installable - Interface in gnu.prolog.vm
 
instantiationError() - Static method in exception gnu.prolog.vm.PrologException
 
instantiationErrorAtom - Static variable in exception gnu.prolog.vm.PrologException
 
Instruction - Class in gnu.prolog.vm.interpreter.instruction
base call for instruction
Instruction() - Constructor for class gnu.prolog.vm.interpreter.instruction.Instruction
 
instructionArrayConstant - Static variable in class gnu.prolog.vm.interpreter.InterpretedCodeCompiler
array type constant for Instruction.class
instructions - Variable in class gnu.prolog.vm.interpreter.InterpretedByteCode
set of instructions
int_0 - Static variable in class gnu.prolog.term.IntegerTerm
0 integer term
int_1 - Static variable in class gnu.prolog.term.IntegerTerm
1 integer term
int_2 - Static variable in class gnu.prolog.term.IntegerTerm
2 integer term
int_3 - Static variable in class gnu.prolog.term.IntegerTerm
3 integer term
int_4 - Static variable in class gnu.prolog.term.IntegerTerm
4 integer term
int_m1 - Static variable in class gnu.prolog.term.IntegerTerm
-1 integer term
int_m2 - Static variable in class gnu.prolog.term.IntegerTerm
-2 integer term
intdiv2 - Static variable in class gnu.prolog.vm.Evaluate
 
integer() - Method in class gnu.prolog.io.parser.gen.TermParser
 
INTEGER - Static variable in class gnu.prolog.term.Term
 
INTEGER_CONSTANT - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
INTEGER_TOKEN - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
integerAtom - Static variable in class gnu.prolog.vm.TermConstants
 
integerRoundingFunctionAtom - Static variable in class gnu.prolog.vm.Environment
 
IntegerTerm - Class in gnu.prolog.term
32bit Integer term.
IntegerTerm(String) - Constructor for class gnu.prolog.term.IntegerTerm
get integer term using string value
IntegerTerm(int) - Constructor for class gnu.prolog.term.IntegerTerm
a constructor
intEncoded() - Static method in class gnu.prolog.Version
 
InterpretedByteCode - Class in gnu.prolog.vm.interpreter
Interpreted Code.
InterpretedByteCode(CompoundTermTag, Instruction[], ExceptionHandlerInfo[]) - Constructor for class gnu.prolog.vm.interpreter.InterpretedByteCode
constructor of code
InterpretedCodeCompiler - Class in gnu.prolog.vm.interpreter
compiler from predicate to interpreted code This version assume following All variables are stored in environment Environment is not reused for different branches
InterpretedCodeCompiler(List<Term>) - Constructor for class gnu.prolog.vm.interpreter.InterpretedCodeCompiler
a constructor
Interpreter - Class in gnu.prolog.vm
This class represent interpreter, it should be used only from one thread If you need to use interpreter from two threads, create new interpreter from Environment
Interpreter(Environment) - Constructor for class gnu.prolog.vm.Interpreter
this constructor should not be used by client programs
interpreter - Variable in class gnu.prolog.vm.interpreter.ExecutionState
current interpreter
Interpreter.Goal - Class in gnu.prolog.vm
user level calls
Interpreter.Goal(Term) - Constructor for class gnu.prolog.vm.Interpreter.Goal
 
intOverflowAtom - Static variable in class gnu.prolog.vm.TermConstants
 
intpart1 - Static variable in class gnu.prolog.vm.Evaluate
 
ioModeAtom - Static variable in class gnu.prolog.vm.TermConstants
 
IPop - Class in gnu.prolog.vm.interpreter.instruction
delete term from top of pushdown stack
IPop() - Constructor for class gnu.prolog.vm.interpreter.instruction.IPop
 
IPOP - Static variable in class gnu.prolog.vm.interpreter.InterpretedByteCode
 
IPUSH_ARGUMENT - Static variable in class gnu.prolog.vm.interpreter.InterpretedByteCode
 
IPUSH_CONSTANT - Static variable in class gnu.prolog.vm.interpreter.InterpretedByteCode
 
IPUSH_ENVIRONMENT - Static variable in class gnu.prolog.vm.interpreter.InterpretedByteCode
 
IPushArgument - Class in gnu.prolog.vm.interpreter.instruction
push argument of execution state
IPushArgument(int) - Constructor for class gnu.prolog.vm.interpreter.instruction.IPushArgument
a constructor
IPushConstant - Class in gnu.prolog.vm.interpreter.instruction
push constant term
IPushConstant(AtomicTerm) - Constructor for class gnu.prolog.vm.interpreter.instruction.IPushConstant
a constructor
IPushEnvironment - Class in gnu.prolog.vm.interpreter.instruction
push term from environment
IPushEnvironment(int) - Constructor for class gnu.prolog.vm.interpreter.instruction.IPushEnvironment
push ter from environment
IRestoreState - Class in gnu.prolog.vm.interpreter.instruction
Restore current state from BacktrackInfo stored in environment
IRestoreState() - Constructor for class gnu.prolog.vm.interpreter.instruction.IRestoreState
 
IRETRY_ME_ELSE - Static variable in class gnu.prolog.vm.interpreter.InterpretedByteCode
 
IRetryMeElse - Class in gnu.prolog.vm.interpreter.instruction
retry_me_else instruction
IRetryMeElse(int) - Constructor for class gnu.prolog.vm.interpreter.instruction.IRetryMeElse
a constructor
IReturn - Class in gnu.prolog.vm.interpreter.instruction
return with success instruction
IReturn() - Constructor for class gnu.prolog.vm.interpreter.instruction.IReturn
 
IRETURN - Static variable in class gnu.prolog.vm.interpreter.InterpretedByteCode
 
isActive() - Method in class gnu.prolog.vm.interpreter.Tracer
 
isAtomChar(char) - Static method in class gnu.prolog.io.TermWriter
check if character is valid continuation of atom.
isAtomStartChar(char) - Static method in class gnu.prolog.io.TermWriter
check if character is valid start of atom.
ISAVE_CUT - Static variable in class gnu.prolog.vm.interpreter.InterpretedByteCode
 
ISaveCut - Class in gnu.prolog.vm.interpreter.instruction
save latest choice point as cut position instruction
ISaveCut(int) - Constructor for class gnu.prolog.vm.interpreter.instruction.ISaveCut
a constructor
ISaveState - Class in gnu.prolog.vm.interpreter.instruction
Save current state as BacktrackInfo in environment
ISaveState() - Constructor for class gnu.prolog.vm.interpreter.instruction.ISaveState
 
isCallable(Term) - Static method in class gnu.prolog.vm.buildins.database.Predicate_clause
 
isDeclaredInOtherLoaders(PrologTextLoader, Predicate) - Method in class gnu.prolog.database.PrologTextLoaderState
 
isDynamic() - Method in class gnu.prolog.database.Predicate
Check if predicate is dynamic.
isFunctor() - Method in class gnu.prolog.io.parser.gen.TermParser
 
isFxOperator(OperatorSet, int) - Method in class gnu.prolog.io.parser.NameToken
 
isFyOperator(OperatorSet, int) - Method in class gnu.prolog.io.parser.NameToken
 
isGraphicsChar(char) - Static method in class gnu.prolog.io.TermWriter
check if character is graphics char.
isInitialized() - Method in class gnu.prolog.vm.Environment
true if the environment is currently initialized
isListPair(Term) - Static method in class gnu.prolog.term.CompoundTerm
 
isNonOperator(OperatorSet) - Method in class gnu.prolog.io.parser.NameToken
 
isOperator(OperatorSet) - Method in class gnu.prolog.io.parser.NameToken
 
isOperator(OperatorSet, int, int) - Method in class gnu.prolog.io.parser.NameToken
 
isOperator(OperatorSet, AtomTerm) - Static method in class gnu.prolog.io.TermWriter
 
isPredicateIndicator(Term) - Static method in class gnu.prolog.term.CompoundTermTag
check if term is predicate indicator
isSoloChar(char) - Static method in class gnu.prolog.io.TermWriter
check if character is solo char.
ISTORE_ENVIRONMENT - Static variable in class gnu.prolog.vm.interpreter.InterpretedByteCode
 
IStoreEnvironment - Class in gnu.prolog.vm.interpreter.instruction
save top of pushdown list in environment
IStoreEnvironment(int) - Constructor for class gnu.prolog.vm.interpreter.instruction.IStoreEnvironment
a constructor
isVariant(Term, Term) - Static method in class gnu.prolog.term.TermUtils
Check if one term is variant of another
isVariant(Term, Term, Map<Term, Term>) - Static method in class gnu.prolog.term.TermUtils
 
isXfOperator(OperatorSet, int) - Method in class gnu.prolog.io.parser.NameToken
 
isXfxOperator(OperatorSet, int) - Method in class gnu.prolog.io.parser.NameToken
 
isXfyOperator(OperatorSet, int) - Method in class gnu.prolog.io.parser.NameToken
 
isYfOperator(OperatorSet, int) - Method in class gnu.prolog.io.parser.NameToken
 
isYfxOperator(OperatorSet, int) - Method in class gnu.prolog.io.parser.NameToken
 
item - Variable in class gnu.prolog.vm.buildins.list.Predicate_append.AppendBacktrackInfo
 
item - Variable in class gnu.prolog.vm.buildins.list.Predicate_member.MemberBacktrackInfo
 
iterator - Variable in class gnu.prolog.vm.PrologCollectionIterator
The iterator it will go through
IThrow - Class in gnu.prolog.vm.interpreter.instruction
throw instruction
IThrow() - Constructor for class gnu.prolog.vm.interpreter.instruction.IThrow
 
ITHROW - Static variable in class gnu.prolog.vm.interpreter.InterpretedByteCode
 
ITrue - Class in gnu.prolog.vm.interpreter.instruction
true instruction
ITrue() - Constructor for class gnu.prolog.vm.interpreter.instruction.ITrue
 
ITRUE - Static variable in class gnu.prolog.vm.interpreter.InterpretedByteCode
 
ITRUST_ME - Static variable in class gnu.prolog.vm.interpreter.InterpretedByteCode
 
ITrustMe - Class in gnu.prolog.vm.interpreter.instruction
trust_me instruction
ITrustMe() - Constructor for class gnu.prolog.vm.interpreter.instruction.ITrustMe
 
ITRY_ME_ELSE - Static variable in class gnu.prolog.vm.interpreter.InterpretedByteCode
 
ITryMeElse - Class in gnu.prolog.vm.interpreter.instruction
try_me_else instruction
ITryMeElse(int) - Constructor for class gnu.prolog.vm.interpreter.instruction.ITryMeElse
a constructor
IUnify - Class in gnu.prolog.vm.interpreter.instruction
call instruction.
IUnify() - Constructor for class gnu.prolog.vm.interpreter.instruction.IUnify
a constructor
IUNIFY - Static variable in class gnu.prolog.vm.interpreter.InterpretedByteCode
 

J

JAVA_OBJECT - Static variable in class gnu.prolog.term.Term
 
javaClassName - Variable in class gnu.prolog.database.Predicate
class name for external predicate
javaObjectAtom - Static variable in class gnu.prolog.vm.TermConstants
 
javaObjects - Variable in class gnu.prolog.io.WriteOptions
Include JavaObjects in the output
javaObjectsToString - Variable in class gnu.prolog.io.WriteOptions
Use .toString() in the output
JavaObjectTerm - Class in gnu.prolog.term
Term which is embedding JavaObject This term should never participate in text IO operations.
JavaObjectTerm(Object) - Constructor for class gnu.prolog.term.JavaObjectTerm
 
jj_nt - Variable in class gnu.prolog.io.parser.gen.TermParser
 
jjstrLiteralImages - Static variable in class gnu.prolog.io.parser.gen.TermParserTokenManager
 
JUMP - Static variable in class gnu.prolog.vm.interpreter.ExecutionState
instruction return code indicating success.
jumpPosition - Variable in class gnu.prolog.vm.interpreter.ExecutionState
current position
jumpPosition - Variable in class gnu.prolog.vm.interpreter.instruction.IJump
position for jump

K

kind - Variable in class gnu.prolog.io.parser.gen.Token
An integer that describes the kind of this token.

L

last_nonopt - Variable in class gnu.getopt.Getopt
The index of the last non-option in argv[]
LAYOUT_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
LAYOUT_TEXT - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
LAYOUT_TEXT_SEQUENCE - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
LeaveBacktrackInfo - Class in gnu.prolog.vm.interpreter
this backtrack info is put to stack upon exit from from user defined predicate in return instruction.
LeaveBacktrackInfo(int, ExecutionState) - Constructor for class gnu.prolog.vm.interpreter.LeaveBacktrackInfo
a constructor
LeaveByteCodeBacktrackInfo - Class in gnu.prolog.vm.interpreter
this backtrack info is put to stack upon exit from from user defined predicate in return instruction.
LeaveByteCodeBacktrackInfo(Term[], BacktrackInfo) - Constructor for class gnu.prolog.vm.interpreter.LeaveByteCodeBacktrackInfo
a constructor
left - Variable in class gnu.prolog.database.Pair
The left part of the tuple
LETTER_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
level - Variable in class gnu.prolog.vm.interpreter.TracerEvent
 
lexStateNames - Static variable in class gnu.prolog.io.parser.gen.TermParserTokenManager
 
line - Variable in exception gnu.prolog.database.PrologTextLoaderError
 
line - Variable in exception gnu.prolog.io.ParseException
 
list - Variable in class gnu.prolog.vm.buildins.list.Predicate_append.AppendBacktrackInfo
 
list - Variable in class gnu.prolog.vm.buildins.list.Predicate_member.MemberBacktrackInfo
 
list_term(ReadOptions) - Method in class gnu.prolog.io.parser.gen.TermParser
 
listAtom - Static variable in class gnu.prolog.vm.TermConstants
 
listDest - Variable in class gnu.prolog.vm.buildins.list.Predicate_append.AppendBacktrackInfo
 
listDest - Variable in class gnu.prolog.vm.buildins.list.Predicate_member.MemberBacktrackInfo
 
listeners - Variable in class gnu.prolog.database.PrologTextLoaderState
 
listeners - Variable in class gnu.prolog.vm.interpreter.Tracer
 
listExpand - Variable in class gnu.prolog.vm.buildins.list.Predicate_append.AppendBacktrackInfo
 
listExpand - Variable in class gnu.prolog.vm.buildins.list.Predicate_member.MemberBacktrackInfo
 
listTag - Static variable in class gnu.prolog.vm.TermConstants
 
loadedFiles - Variable in class gnu.prolog.database.PrologTextLoaderState
 
loadPrologCode(CompoundTermTag) - Method in class gnu.prolog.vm.Environment
load code for prolog
log1 - Static variable in class gnu.prolog.vm.Evaluate
 
logError(String) - Method in class gnu.prolog.database.PrologTextLoader
 
logError(ParseException) - Method in class gnu.prolog.database.PrologTextLoader
 
logError(PrologTextLoader, ParseException) - Method in class gnu.prolog.database.PrologTextLoaderState
 
logError(PrologTextLoader, String) - Method in class gnu.prolog.database.PrologTextLoaderState
 
logError(PrologTextLoaderError, String) - Method in class gnu.prolog.database.PrologTextLoaderState
To be used for errors during initialisation
long_only - Variable in class gnu.getopt.Getopt
This flag determines whether or not we are parsing only long args
long_options - Variable in class gnu.getopt.Getopt
This is an array of LongOpt objects which describ the valid long options.
longind - Variable in class gnu.getopt.Getopt
Stores the index into the long_options array of the long option found
LongOpt - Class in gnu.getopt
This object represents the definition of a long option in the Java port of GNU getopt.
LongOpt(String, int, StringBuffer, int) - Constructor for class gnu.getopt.LongOpt
Create a new LongOpt object with the given parameter values.
longopt_handled - Variable in class gnu.getopt.Getopt
A flag which communicates whether or not checkLongOption() did all necessary processing for the current option
lookingAhead - Variable in class gnu.prolog.io.parser.gen.TermParser
 
lookupFx(String) - Method in class gnu.prolog.io.OperatorSet
 
lookupXf(String) - Method in class gnu.prolog.io.OperatorSet
 
LT_ATOM - Static variable in class gnu.prolog.vm.buildins.termcomparsion.Predicate_compare
 

M

main(String[]) - Static method in class gnu.getopt.GetoptDemo
 
main(String[]) - Static method in class gnu.prolog.demo.mentalarithmetic.MentalArithmetic
Standalone entry point for the program
main(String[]) - Static method in class gnu.prolog.test.CodeDumper
 
main(String[]) - Static method in class gnu.prolog.test.GoalRunner
 
MAX_PRIORITY - Static variable in class gnu.prolog.io.Operator
 
maxArityAtom - Static variable in class gnu.prolog.vm.TermConstants
 
maxIntegerAtom - Static variable in class gnu.prolog.vm.TermConstants
 
maxIntegerTerm - Static variable in class gnu.prolog.vm.Environment
 
MentalArithmetic - Class in gnu.prolog.demo.mentalarithmetic
This is the main class of the mentalarithemtic program.
message - Variable in class gnu.prolog.vm.buildins.dialogs.Predicate_dialog.DialogOptions
 
MESSAGE_TAG - Static variable in class gnu.prolog.vm.buildins.dialogs.Predicate_dialog
 
messageType - Variable in class gnu.prolog.vm.buildins.dialogs.Predicate_dialog.DialogOptions
 
META_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
META_ESCAPE_SEQUENCE - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
MIN_PRIORITY - Static variable in class gnu.prolog.io.Operator
 
minIntegerAtom - Static variable in class gnu.prolog.vm.TermConstants
 
minIntegerTerm - Static variable in class gnu.prolog.vm.Environment
 
minus2 - Static variable in class gnu.prolog.term.CompoundTermTag
'-'/2 tag
minuteAtom - Static variable in class gnu.prolog.vm.buildins.datetime.Predicate_date_time_value
 
mod2 - Static variable in class gnu.prolog.vm.Evaluate
 
mode - Variable in class gnu.prolog.vm.PrologStream
 
mode - Variable in class gnu.prolog.vm.PrologStream.OpenOptions
 
modeTag - Static variable in class gnu.prolog.vm.PrologStream
 
modifyAtom - Static variable in class gnu.prolog.vm.Environment
 
modifyAtom - Static variable in class gnu.prolog.vm.TermConstants
 
Module - Class in gnu.prolog.database
Module in database
Module() - Constructor for class gnu.prolog.database.Module
 
module - Variable in class gnu.prolog.database.Predicate
current module
module - Variable in class gnu.prolog.database.PrologTextLoaderState
 
monthAtom - Static variable in class gnu.prolog.vm.buildins.datetime.Predicate_date_time_value
 
msg - Variable in exception gnu.prolog.vm.PrologException
message of exception
mul2 - Static variable in class gnu.prolog.vm.Evaluate
 
multifileTag - Static variable in class gnu.prolog.database.PrologTextLoader
 

N

name - Variable in class gnu.getopt.LongOpt
The name of the long option
name - Variable in class gnu.prolog.io.Operator
 
name() - Method in class gnu.prolog.io.parser.gen.TermParser
 
name - Variable in class gnu.prolog.term.VariableTerm
Name of the variable when it was declared Used for display purposes
NAME_TOKEN - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
NAMED_VARIABLE - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
NameToken - Class in gnu.prolog.io.parser
 
NameToken() - Constructor for class gnu.prolog.io.parser.NameToken
 
needBeQuoted(String) - Static method in class gnu.prolog.io.TermWriter
check if the string is needed to be quoted .
neg1 - Static variable in class gnu.prolog.vm.Evaluate
 
NEW_LINE_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
newToken(int) - Static method in class gnu.prolog.io.parser.gen.Token
Returns a new Token object, by default.
next - Variable in class gnu.prolog.io.parser.gen.Token
A reference to the next regular (non-special) token from the input stream.
NEXT - Static variable in class gnu.prolog.vm.interpreter.ExecutionState
instruction return code indicating success.
nextchar - Variable in class gnu.getopt.Getopt
The next char to be scanned in the option-element in which the last option character we returned was found.
nextSolution(Interpreter, Predicate_bagof.BagOfBacktrackInfo) - Method in class gnu.prolog.vm.buildins.allsolutions.Predicate_bagof
 
nextSolution(Interpreter, Predicate_date_time_value.Date9BacktrackInfo) - Method in class gnu.prolog.vm.buildins.datetime.Predicate_date_time_value
 
nextSolution(Interpreter, Predicate_append.AppendBacktrackInfo) - Method in class gnu.prolog.vm.buildins.list.Predicate_append
 
nextSolution(Interpreter, Predicate_member.MemberBacktrackInfo) - Method in class gnu.prolog.vm.buildins.list.Predicate_member
 
nextSolution(Interpreter) - Method in class gnu.prolog.vm.PrologCollectionIterator
Get the next value
NO_ARGUMENT - Static variable in class gnu.getopt.LongOpt
Constant value used for the "has_arg" constructor argument.
NO_ATOM - Static variable in class gnu.prolog.vm.buildins.dialogs.Predicate_dialog
 
NoAnswerException - Exception in gnu.prolog.demo.mentalarithmetic
Exception thrown when we have no answer to give.
NoAnswerException(String) - Constructor for exception gnu.prolog.demo.mentalarithmetic.NoAnswerException
 
NON_QUOTE_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
NONE - Static variable in class gnu.prolog.io.Operator
 
nonEmptyListAtom - Static variable in class gnu.prolog.vm.TermConstants
 
nonOperator - Static variable in class gnu.prolog.io.Operator
 
notAtom - Static variable in class gnu.prolog.vm.PrologStream
 
notLessThanZeroAtom - Static variable in class gnu.prolog.vm.TermConstants
 
numberAtom - Static variable in class gnu.prolog.vm.TermConstants
 
numberExpectedAtom - Static variable in class gnu.prolog.vm.TermConstants
 
numberOfReserved - Variable in class gnu.prolog.vm.interpreter.InterpretedCodeCompiler
number of reserved fields, one position for saving cut
numberOfVariables - Variable in class gnu.prolog.io.WriteOptions
Number of used variables.
numbervars - Variable in class gnu.prolog.io.WriteOptions
display terms of form '$VAR'(N) as ('A'+ N%26)+""+(N/26).
numbervarsTag - Static variable in class gnu.prolog.io.TermWriter
 
numbervarsTag - Static variable in class gnu.prolog.vm.TermConstants
 
NumericTerm - Class in gnu.prolog.term
 
NumericTerm() - Constructor for class gnu.prolog.term.NumericTerm
 

O

occurCheck(VariableTerm, Term) - Static method in class gnu.prolog.vm.buildins.unification.Predicate_unify_with_occurs_check
preform occur check on variable
OCTAL_CONSTANT - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
OCTAL_DIGIT_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
OCTAL_ESCAPE_SEQUENCE - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
offAtom - Static variable in class gnu.prolog.vm.Environment
 
OK_ATOM - Static variable in class gnu.prolog.vm.buildins.dialogs.Predicate_dialog
 
onAtom - Static variable in class gnu.prolog.vm.Environment
 
op(ReadOptions, int) - Method in class gnu.prolog.io.parser.gen.TermParser
 
op2(ReadOptions, int) - Method in class gnu.prolog.io.parser.gen.TermParser
 
open() - Method in class gnu.prolog.io.parser.gen.TermParser
 
open(AtomTerm, AtomTerm, PrologStream.OpenOptions) - Method in class gnu.prolog.vm.Environment
 
OPEN_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
open_ct() - Method in class gnu.prolog.io.parser.gen.TermParser
 
open_curly() - Method in class gnu.prolog.io.parser.gen.TermParser
 
OPEN_CURLY_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
OPEN_CURLY_TOKEN - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
open_list() - Method in class gnu.prolog.io.parser.gen.TermParser
 
OPEN_LIST_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
OPEN_LIST_TOKEN - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
OPEN_TOKEN - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
openAtom - Static variable in class gnu.prolog.vm.PrologStream
 
openAtom - Static variable in class gnu.prolog.vm.TermConstants
 
openStreams - Variable in class gnu.prolog.vm.Environment
 
Operator - Class in gnu.prolog.io
 
Operator(String, int, int) - Constructor for class gnu.prolog.io.Operator
 
operatorAtom - Static variable in class gnu.prolog.vm.TermConstants
 
operatorPriorityAtom - Static variable in class gnu.prolog.vm.TermConstants
 
operatorSet - Variable in class gnu.prolog.database.PrologTextLoader
operator set
OperatorSet - Class in gnu.prolog.io
 
OperatorSet(boolean) - Constructor for class gnu.prolog.io.OperatorSet
 
OperatorSet() - Constructor for class gnu.prolog.io.OperatorSet
 
operatorSpecifierAtom - Static variable in class gnu.prolog.vm.TermConstants
 
opSet - Variable in class gnu.prolog.vm.Environment
 
opTag - Static variable in class gnu.prolog.database.PrologTextLoader
 
optarg - Variable in class gnu.getopt.Getopt
For communication from `getopt' to the caller.
opterr - Variable in class gnu.getopt.Getopt
Callers store false here to inhibit the error message for unrecognized options.
optind - Variable in class gnu.getopt.Getopt
Index in ARGV of the next element to be scanned.
OPTIONAL_ARGUMENT - Static variable in class gnu.getopt.LongOpt
Constant value used for the "has_arg" constructor argument.
optopt - Variable in class gnu.getopt.Getopt
When an unrecognized option is encountered, getopt will return a '?' and store the value of the invalid option here.
optstring - Variable in class gnu.getopt.Getopt
This is the string describing the valid short options.
ordering - Variable in class gnu.getopt.Getopt
Determines whether we permute arguments or not
orderMap - Variable in class gnu.prolog.term.TermComparator
 
output - Variable in class gnu.prolog.vm.interpreter.Tracer
 
outputAtom - Static variable in class gnu.prolog.vm.PrologStream
 
outputAtom - Static variable in class gnu.prolog.vm.TermConstants
 

P

Pair<L,R> - Class in gnu.prolog.database
A pair of a L and a R (Because java doesn't do tuples)
Pair(L, R) - Constructor for class gnu.prolog.database.Pair
Construct a tuple with a left and right part
ParseException - Exception in gnu.prolog.io
 
ParseException(ParseException) - Constructor for exception gnu.prolog.io.ParseException
 
ParseException(TokenMgrError) - Constructor for exception gnu.prolog.io.ParseException
 
ParseException - Exception in gnu.prolog.io.parser.gen
This exception is thrown when parse errors are encountered.
ParseException(Token, int[][], String[]) - Constructor for exception gnu.prolog.io.parser.gen.ParseException
This constructor is used by the method "generateParseException" in the generated parser.
ParseException() - Constructor for exception gnu.prolog.io.parser.gen.ParseException
The following constructors are for use by you for whatever purpose you can think of.
ParseException(String) - Constructor for exception gnu.prolog.io.parser.gen.ParseException
 
parseInt(String) - Static method in class gnu.prolog.term.IntegerTerm
 
pass1(Instruction[], int[], Map<CompoundTermTag, Integer>, Map<AtomicTerm, Integer>) - Method in class gnu.prolog.vm.interpreter.InterpretedByteCode
 
pass2(Instruction[], int[], Map<CompoundTermTag, Integer>, Map<AtomicTerm, Integer>) - Method in class gnu.prolog.vm.interpreter.InterpretedByteCode
 
passedClauses - Variable in class gnu.prolog.vm.interpreter.InterpretedCodeCompiler
clauses to compile
pastAtom - Static variable in class gnu.prolog.vm.PrologStream
 
pastEndOfStreamAtom - Static variable in class gnu.prolog.vm.TermConstants
 
peekBacktrackInfo() - Method in class gnu.prolog.vm.interpreter.ExecutionState
peek backtrack info w/o popping it
peekBacktrackInfo() - Method in class gnu.prolog.vm.Interpreter
peek top backtrack information
peekByte(Term, Interpreter) - Method in class gnu.prolog.vm.BinaryPrologStream
 
peekByte(Term, Interpreter) - Method in class gnu.prolog.vm.PrologStream
 
peekByte(Term, Interpreter) - Method in class gnu.prolog.vm.TextInputPrologStream
 
peekByte(Term, Interpreter) - Method in class gnu.prolog.vm.TextOutputPrologStream
 
peekCode(Term, Interpreter) - Method in class gnu.prolog.vm.BinaryPrologStream
 
peekCode(Term, Interpreter) - Method in class gnu.prolog.vm.PrologStream
 
peekCode(Term, Interpreter) - Method in class gnu.prolog.vm.TextInputPrologStream
 
peekCode(Term, Interpreter) - Method in class gnu.prolog.vm.TextOutputPrologStream
 
permissionError(AtomTerm, AtomTerm, Term) - Static method in exception gnu.prolog.vm.PrologException
 
permissionErrorTag - Static variable in exception gnu.prolog.vm.PrologException
 
PERMUTE - Static variable in class gnu.getopt.Getopt
PERMUTE is the default.
plusTag - Static variable in class gnu.prolog.vm.Environment
 
pollPrologCodeListeners() - Method in class gnu.prolog.vm.Environment
 
popBacktrackInfo() - Method in class gnu.prolog.vm.interpreter.ExecutionState
pop backtrack info from stack
popBacktrackInfo() - Method in class gnu.prolog.vm.Interpreter
pop backtrack information
popBacktrackInfoUntil(BacktrackInfo) - Method in class gnu.prolog.vm.Interpreter
 
popPushDown() - Method in class gnu.prolog.vm.interpreter.ExecutionState
pop term from pushdown stack
positionTag - Static variable in class gnu.prolog.vm.PrologStream
 
posixly_correct - Variable in class gnu.getopt.Getopt
The flag determines whether or not we operate in strict POSIX compliance
power2 - Static variable in class gnu.prolog.vm.Evaluate
 
Predicate - Class in gnu.prolog.database
Predicate in database
Predicate(Module, CompoundTermTag) - Constructor for class gnu.prolog.database.Predicate
constructor of predicate
Predicate.TYPE - Enum in gnu.prolog.database
The possible types of Predicate
predicate2options2loaders - Variable in class gnu.prolog.database.PrologTextLoaderState
 
Predicate_abolish - Class in gnu.prolog.vm.buildins.database
prolog code
Predicate_abolish() - Constructor for class gnu.prolog.vm.buildins.database.Predicate_abolish
 
Predicate_append - Class in gnu.prolog.vm.buildins.list
TODO Does:
Predicate_append() - Constructor for class gnu.prolog.vm.buildins.list.Predicate_append
 
Predicate_append.AppendBacktrackInfo - Class in gnu.prolog.vm.buildins.list
 
Predicate_append.AppendBacktrackInfo() - Constructor for class gnu.prolog.vm.buildins.list.Predicate_append.AppendBacktrackInfo
 
Predicate_arg - Class in gnu.prolog.vm.buildins.termcreation
prolog code
Predicate_arg() - Constructor for class gnu.prolog.vm.buildins.termcreation.Predicate_arg
 
Predicate_assert - Class in gnu.prolog.vm.buildins.database
prolog code
Predicate_assert() - Constructor for class gnu.prolog.vm.buildins.database.Predicate_assert
 
Predicate_asserta - Class in gnu.prolog.vm.buildins.database
prolog code
Predicate_asserta() - Constructor for class gnu.prolog.vm.buildins.database.Predicate_asserta
 
Predicate_assertz - Class in gnu.prolog.vm.buildins.database
prolog code
Predicate_assertz() - Constructor for class gnu.prolog.vm.buildins.database.Predicate_assertz
 
Predicate_at_end_of_stream - Class in gnu.prolog.vm.buildins.io
prolog code
Predicate_at_end_of_stream() - Constructor for class gnu.prolog.vm.buildins.io.Predicate_at_end_of_stream
 
Predicate_atom - Class in gnu.prolog.vm.buildins.typetesting
Predicate variable
Predicate_atom() - Constructor for class gnu.prolog.vm.buildins.typetesting.Predicate_atom
 
Predicate_atom_chars - Class in gnu.prolog.vm.buildins.atomicterms
prolog code
Predicate_atom_chars() - Constructor for class gnu.prolog.vm.buildins.atomicterms.Predicate_atom_chars
 
Predicate_atom_codes - Class in gnu.prolog.vm.buildins.atomicterms
prolog code
Predicate_atom_codes() - Constructor for class gnu.prolog.vm.buildins.atomicterms.Predicate_atom_codes
 
Predicate_atom_concat - Class in gnu.prolog.vm.buildins.atomicterms
prolog code
Predicate_atom_concat() - Constructor for class gnu.prolog.vm.buildins.atomicterms.Predicate_atom_concat
 
Predicate_atom_length - Class in gnu.prolog.vm.buildins.atomicterms
prolog code
Predicate_atom_length() - Constructor for class gnu.prolog.vm.buildins.atomicterms.Predicate_atom_length
 
Predicate_atomic - Class in gnu.prolog.vm.buildins.typetesting
Predicate variable
Predicate_atomic() - Constructor for class gnu.prolog.vm.buildins.typetesting.Predicate_atomic
 
Predicate_bagof - Class in gnu.prolog.vm.buildins.allsolutions
prolog code
Predicate_bagof() - Constructor for class gnu.prolog.vm.buildins.allsolutions.Predicate_bagof
 
Predicate_call - Class in gnu.prolog.vm.interpreter
prolog code
Predicate_call() - Constructor for class gnu.prolog.vm.interpreter.Predicate_call
 
Predicate_call.CallTermBacktrackInfo - Class in gnu.prolog.vm.interpreter
call term backtrack info
Predicate_call.CallTermBacktrackInfo(Interpreter, PrologCode, Term[], Term) - Constructor for class gnu.prolog.vm.interpreter.Predicate_call.CallTermBacktrackInfo
 
Predicate_char_code - Class in gnu.prolog.vm.buildins.atomicterms
prolog code
Predicate_char_code() - Constructor for class gnu.prolog.vm.buildins.atomicterms.Predicate_char_code
 
Predicate_char_conversion - Class in gnu.prolog.vm.buildins.io
 
Predicate_char_conversion() - Constructor for class gnu.prolog.vm.buildins.io.Predicate_char_conversion
 
Predicate_clause - Class in gnu.prolog.vm.buildins.database
prolog code
Predicate_clause() - Constructor for class gnu.prolog.vm.buildins.database.Predicate_clause
 
Predicate_close - Class in gnu.prolog.vm.buildins.io
prolog code
Predicate_close() - Constructor for class gnu.prolog.vm.buildins.io.Predicate_close
 
Predicate_compare - Class in gnu.prolog.vm.buildins.termcomparsion
 
Predicate_compare() - Constructor for class gnu.prolog.vm.buildins.termcomparsion.Predicate_compare
 
Predicate_compound - Class in gnu.prolog.vm.buildins.typetesting
Predicate variable
Predicate_compound() - Constructor for class gnu.prolog.vm.buildins.typetesting.Predicate_compound
 
Predicate_confirm - Class in gnu.prolog.vm.buildins.dialogs
 
Predicate_confirm() - Constructor for class gnu.prolog.vm.buildins.dialogs.Predicate_confirm
 
Predicate_confirm.TermOption - Class in gnu.prolog.vm.buildins.dialogs
 
Predicate_confirm.TermOption(String) - Constructor for class gnu.prolog.vm.buildins.dialogs.Predicate_confirm.TermOption
 
Predicate_confirm.TermOption(String, Term) - Constructor for class gnu.prolog.vm.buildins.dialogs.Predicate_confirm.TermOption
 
Predicate_copy_term - Class in gnu.prolog.vm.buildins.termcreation
prolog code
Predicate_copy_term() - Constructor for class gnu.prolog.vm.buildins.termcreation.Predicate_copy_term
 
Predicate_current_char_conversion - Class in gnu.prolog.vm.buildins.io
 
Predicate_current_char_conversion() - Constructor for class gnu.prolog.vm.buildins.io.Predicate_current_char_conversion
 
Predicate_current_functor - Class in gnu.prolog.vm.buildins.misc
 
Predicate_current_functor() - Constructor for class gnu.prolog.vm.buildins.misc.Predicate_current_functor
 
Predicate_current_input - Class in gnu.prolog.vm.buildins.io
prolog code
Predicate_current_input() - Constructor for class gnu.prolog.vm.buildins.io.Predicate_current_input
 
Predicate_current_op - Class in gnu.prolog.vm.buildins.io
prolog code
Predicate_current_op() - Constructor for class gnu.prolog.vm.buildins.io.Predicate_current_op
 
Predicate_current_output - Class in gnu.prolog.vm.buildins.io
prolog code
Predicate_current_output() - Constructor for class gnu.prolog.vm.buildins.io.Predicate_current_output
 
Predicate_current_predicate - Class in gnu.prolog.vm.buildins.database
prolog code
Predicate_current_predicate() - Constructor for class gnu.prolog.vm.buildins.database.Predicate_current_predicate
 
Predicate_current_prolog_flag - Class in gnu.prolog.vm.buildins.imphooks
prolog code
Predicate_current_prolog_flag() - Constructor for class gnu.prolog.vm.buildins.imphooks.Predicate_current_prolog_flag
 
Predicate_date_time_stamp - Class in gnu.prolog.vm.buildins.datetime
 
Predicate_date_time_stamp() - Constructor for class gnu.prolog.vm.buildins.datetime.Predicate_date_time_stamp
 
Predicate_date_time_value - Class in gnu.prolog.vm.buildins.datetime
 
Predicate_date_time_value() - Constructor for class gnu.prolog.vm.buildins.datetime.Predicate_date_time_value
 
Predicate_debugging - Class in gnu.prolog.vm.buildins.debug
 
Predicate_debugging() - Constructor for class gnu.prolog.vm.buildins.debug.Predicate_debugging
 
Predicate_dialog - Class in gnu.prolog.vm.buildins.dialogs
 
Predicate_dialog() - Constructor for class gnu.prolog.vm.buildins.dialogs.Predicate_dialog
 
Predicate_dialog.DialogOptions - Class in gnu.prolog.vm.buildins.dialogs
 
Predicate_dialog.DialogOptions() - Constructor for class gnu.prolog.vm.buildins.dialogs.Predicate_dialog.DialogOptions
 
Predicate_ensure_loaded - Class in gnu.prolog.vm.buildins.io
NONISO but in SWI-Prolog, not in GNU Prolog (even in its ISO usage).
Predicate_ensure_loaded() - Constructor for class gnu.prolog.vm.buildins.io.Predicate_ensure_loaded
 
Predicate_equal - Class in gnu.prolog.vm.buildins.arithmetics
prolog code
Predicate_equal() - Constructor for class gnu.prolog.vm.buildins.arithmetics.Predicate_equal
 
Predicate_file_open - Class in gnu.prolog.vm.buildins.dialogs
 
Predicate_file_open() - Constructor for class gnu.prolog.vm.buildins.dialogs.Predicate_file_open
 
Predicate_file_save - Class in gnu.prolog.vm.buildins.dialogs
 
Predicate_file_save() - Constructor for class gnu.prolog.vm.buildins.dialogs.Predicate_file_save
 
Predicate_findall - Class in gnu.prolog.vm.buildins.allsolutions
prolog code
Predicate_findall() - Constructor for class gnu.prolog.vm.buildins.allsolutions.Predicate_findall
 
Predicate_float - Class in gnu.prolog.vm.buildins.typetesting
Predicate variable
Predicate_float() - Constructor for class gnu.prolog.vm.buildins.typetesting.Predicate_float
 
Predicate_flush_output - Class in gnu.prolog.vm.buildins.io
prolog code
Predicate_flush_output() - Constructor for class gnu.prolog.vm.buildins.io.Predicate_flush_output
 
Predicate_format_time - Class in gnu.prolog.vm.buildins.datetime
 
Predicate_format_time() - Constructor for class gnu.prolog.vm.buildins.datetime.Predicate_format_time
 
Predicate_functor - Class in gnu.prolog.vm.buildins.termcreation
prolog code
Predicate_functor() - Constructor for class gnu.prolog.vm.buildins.termcreation.Predicate_functor
 
Predicate_get_byte - Class in gnu.prolog.vm.buildins.io
prolog code
Predicate_get_byte() - Constructor for class gnu.prolog.vm.buildins.io.Predicate_get_byte
 
Predicate_get_char - Class in gnu.prolog.vm.buildins.io
prolog code
Predicate_get_char() - Constructor for class gnu.prolog.vm.buildins.io.Predicate_get_char
 
Predicate_get_time - Class in gnu.prolog.vm.buildins.datetime
 
Predicate_get_time() - Constructor for class gnu.prolog.vm.buildins.datetime.Predicate_get_time
 
Predicate_greater_than - Class in gnu.prolog.vm.buildins.arithmetics
prolog code
Predicate_greater_than() - Constructor for class gnu.prolog.vm.buildins.arithmetics.Predicate_greater_than
 
Predicate_greater_than_or_equal - Class in gnu.prolog.vm.buildins.arithmetics
prolog code
Predicate_greater_than_or_equal() - Constructor for class gnu.prolog.vm.buildins.arithmetics.Predicate_greater_than_or_equal
 
Predicate_halt - Class in gnu.prolog.vm.buildins.imphooks
prolog code
Predicate_halt() - Constructor for class gnu.prolog.vm.buildins.imphooks.Predicate_halt
 
Predicate_integer - Class in gnu.prolog.vm.buildins.typetesting
Predicate variable
Predicate_integer() - Constructor for class gnu.prolog.vm.buildins.typetesting.Predicate_integer
 
Predicate_is - Class in gnu.prolog.vm.buildins.arithmetics
prolog code
Predicate_is() - Constructor for class gnu.prolog.vm.buildins.arithmetics.Predicate_is
 
Predicate_is_list - Class in gnu.prolog.vm.buildins.list
 
Predicate_is_list() - Constructor for class gnu.prolog.vm.buildins.list.Predicate_is_list
 
Predicate_java_classname - Class in gnu.prolog.vm.buildins.java
 
Predicate_java_classname() - Constructor for class gnu.prolog.vm.buildins.java.Predicate_java_classname
 
Predicate_java_object - Class in gnu.prolog.vm.buildins.typetesting
Predicate variable
Predicate_java_object() - Constructor for class gnu.prolog.vm.buildins.typetesting.Predicate_java_object
 
Predicate_java_to_string - Class in gnu.prolog.vm.buildins.java
 
Predicate_java_to_string() - Constructor for class gnu.prolog.vm.buildins.java.Predicate_java_to_string
 
Predicate_length - Class in gnu.prolog.vm.buildins.list
 
Predicate_length() - Constructor for class gnu.prolog.vm.buildins.list.Predicate_length
 
Predicate_less_than - Class in gnu.prolog.vm.buildins.arithmetics
prolog code
Predicate_less_than() - Constructor for class gnu.prolog.vm.buildins.arithmetics.Predicate_less_than
 
Predicate_less_than_or_equal - Class in gnu.prolog.vm.buildins.arithmetics
prolog code
Predicate_less_than_or_equal() - Constructor for class gnu.prolog.vm.buildins.arithmetics.Predicate_less_than_or_equal
 
Predicate_listing - Class in gnu.prolog.vm.buildins.misc
 
Predicate_listing() - Constructor for class gnu.prolog.vm.buildins.misc.Predicate_listing
 
Predicate_member - Class in gnu.prolog.vm.buildins.list
Does:
Predicate_member() - Constructor for class gnu.prolog.vm.buildins.list.Predicate_member
 
Predicate_member.MemberBacktrackInfo - Class in gnu.prolog.vm.buildins.list
 
Predicate_member.MemberBacktrackInfo() - Constructor for class gnu.prolog.vm.buildins.list.Predicate_member.MemberBacktrackInfo
 
Predicate_message - Class in gnu.prolog.vm.buildins.dialogs
 
Predicate_message() - Constructor for class gnu.prolog.vm.buildins.dialogs.Predicate_message
 
Predicate_msort - Class in gnu.prolog.vm.buildins.list
 
Predicate_msort() - Constructor for class gnu.prolog.vm.buildins.list.Predicate_msort
 
Predicate_nonvar - Class in gnu.prolog.vm.buildins.typetesting
Predicate variable
Predicate_nonvar() - Constructor for class gnu.prolog.vm.buildins.typetesting.Predicate_nonvar
 
Predicate_nospy - Class in gnu.prolog.vm.buildins.debug
Remove a trace point
Predicate_nospy() - Constructor for class gnu.prolog.vm.buildins.debug.Predicate_nospy
 
Predicate_nospyall - Class in gnu.prolog.vm.buildins.debug
Remove all tracepoints
Predicate_nospyall() - Constructor for class gnu.prolog.vm.buildins.debug.Predicate_nospyall
 
Predicate_not_equal - Class in gnu.prolog.vm.buildins.arithmetics
prolog code
Predicate_not_equal() - Constructor for class gnu.prolog.vm.buildins.arithmetics.Predicate_not_equal
 
Predicate_not_unifiable - Class in gnu.prolog.vm.buildins.unification
true if two term are not unifiable
Predicate_not_unifiable() - Constructor for class gnu.prolog.vm.buildins.unification.Predicate_not_unifiable
 
Predicate_notrace - Class in gnu.prolog.vm.buildins.debug
Disable tracing
Predicate_notrace() - Constructor for class gnu.prolog.vm.buildins.debug.Predicate_notrace
 
Predicate_number - Class in gnu.prolog.vm.buildins.typetesting
Predicate variable
Predicate_number() - Constructor for class gnu.prolog.vm.buildins.typetesting.Predicate_number
 
Predicate_number_chars - Class in gnu.prolog.vm.buildins.atomicterms
prolog code
Predicate_number_chars() - Constructor for class gnu.prolog.vm.buildins.atomicterms.Predicate_number_chars
 
Predicate_number_codes - Class in gnu.prolog.vm.buildins.atomicterms
prolog code
Predicate_number_codes() - Constructor for class gnu.prolog.vm.buildins.atomicterms.Predicate_number_codes
 
Predicate_op - Class in gnu.prolog.vm.buildins.io
prolog code
Predicate_op() - Constructor for class gnu.prolog.vm.buildins.io.Predicate_op
 
Predicate_open - Class in gnu.prolog.vm.buildins.io
prolog code for open/4
Predicate_open() - Constructor for class gnu.prolog.vm.buildins.io.Predicate_open
 
Predicate_parse_time - Class in gnu.prolog.vm.buildins.datetime
 
Predicate_parse_time() - Constructor for class gnu.prolog.vm.buildins.datetime.Predicate_parse_time
 
Predicate_peek_byte - Class in gnu.prolog.vm.buildins.io
prolog code
Predicate_peek_byte() - Constructor for class gnu.prolog.vm.buildins.io.Predicate_peek_byte
 
Predicate_peek_char - Class in gnu.prolog.vm.buildins.io
prolog code
Predicate_peek_char() - Constructor for class gnu.prolog.vm.buildins.io.Predicate_peek_char
 
Predicate_predsort - Class in gnu.prolog.vm.buildins.list
 
Predicate_predsort() - Constructor for class gnu.prolog.vm.buildins.list.Predicate_predsort
 
Predicate_predsort.CallPredComparator - Class in gnu.prolog.vm.buildins.list
 
Predicate_predsort.CallPredComparator(Interpreter, CompoundTerm) - Constructor for class gnu.prolog.vm.buildins.list.Predicate_predsort.CallPredComparator
 
Predicate_prompt - Class in gnu.prolog.vm.buildins.dialogs
 
Predicate_prompt() - Constructor for class gnu.prolog.vm.buildins.dialogs.Predicate_prompt
 
Predicate_put_byte - Class in gnu.prolog.vm.buildins.io
prolog code
Predicate_put_byte() - Constructor for class gnu.prolog.vm.buildins.io.Predicate_put_byte
 
Predicate_put_char - Class in gnu.prolog.vm.buildins.io
prolog code
Predicate_put_char() - Constructor for class gnu.prolog.vm.buildins.io.Predicate_put_char
 
Predicate_read_term - Class in gnu.prolog.vm.buildins.io
prolog code
Predicate_read_term() - Constructor for class gnu.prolog.vm.buildins.io.Predicate_read_term
 
Predicate_retract - Class in gnu.prolog.vm.buildins.database
prolog code
Predicate_retract() - Constructor for class gnu.prolog.vm.buildins.database.Predicate_retract
 
Predicate_set_input - Class in gnu.prolog.vm.buildins.io
prolog code
Predicate_set_input() - Constructor for class gnu.prolog.vm.buildins.io.Predicate_set_input
 
Predicate_set_output - Class in gnu.prolog.vm.buildins.io
prolog code
Predicate_set_output() - Constructor for class gnu.prolog.vm.buildins.io.Predicate_set_output
 
Predicate_set_prolog_flag - Class in gnu.prolog.vm.buildins.imphooks
prolog code
Predicate_set_prolog_flag() - Constructor for class gnu.prolog.vm.buildins.imphooks.Predicate_set_prolog_flag
 
Predicate_set_stream_position - Class in gnu.prolog.vm.buildins.io
prolog code
Predicate_set_stream_position() - Constructor for class gnu.prolog.vm.buildins.io.Predicate_set_stream_position
 
Predicate_setof - Class in gnu.prolog.vm.buildins.allsolutions
prolog code
Predicate_setof() - Constructor for class gnu.prolog.vm.buildins.allsolutions.Predicate_setof
 
Predicate_sort - Class in gnu.prolog.vm.buildins.list
 
Predicate_sort() - Constructor for class gnu.prolog.vm.buildins.list.Predicate_sort
 
Predicate_spy - Class in gnu.prolog.vm.buildins.debug
Set a trace point
Predicate_spy() - Constructor for class gnu.prolog.vm.buildins.debug.Predicate_spy
 
Predicate_stacktrace - Class in gnu.prolog.vm.buildins.misc
 
Predicate_stacktrace() - Constructor for class gnu.prolog.vm.buildins.misc.Predicate_stacktrace
 
Predicate_stamp_date_time - Class in gnu.prolog.vm.buildins.datetime
 
Predicate_stamp_date_time() - Constructor for class gnu.prolog.vm.buildins.datetime.Predicate_stamp_date_time
 
Predicate_stream_property - Class in gnu.prolog.vm.buildins.io
prolog code
Predicate_stream_property() - Constructor for class gnu.prolog.vm.buildins.io.Predicate_stream_property
 
Predicate_sub_atom - Class in gnu.prolog.vm.buildins.atomicterms
prolog code
Predicate_sub_atom() - Constructor for class gnu.prolog.vm.buildins.atomicterms.Predicate_sub_atom
 
Predicate_term_greater_then - Class in gnu.prolog.vm.buildins.termcomparsion
prolog code
Predicate_term_greater_then() - Constructor for class gnu.prolog.vm.buildins.termcomparsion.Predicate_term_greater_then
 
Predicate_term_greater_then_or_equal - Class in gnu.prolog.vm.buildins.termcomparsion
prolog code
Predicate_term_greater_then_or_equal() - Constructor for class gnu.prolog.vm.buildins.termcomparsion.Predicate_term_greater_then_or_equal
 
Predicate_term_identical - Class in gnu.prolog.vm.buildins.termcomparsion
prolog code
Predicate_term_identical() - Constructor for class gnu.prolog.vm.buildins.termcomparsion.Predicate_term_identical
 
Predicate_term_less_then - Class in gnu.prolog.vm.buildins.termcomparsion
prolog code
Predicate_term_less_then() - Constructor for class gnu.prolog.vm.buildins.termcomparsion.Predicate_term_less_then
 
Predicate_term_less_then_or_equal - Class in gnu.prolog.vm.buildins.termcomparsion
prolog code
Predicate_term_less_then_or_equal() - Constructor for class gnu.prolog.vm.buildins.termcomparsion.Predicate_term_less_then_or_equal
 
Predicate_term_not_identical - Class in gnu.prolog.vm.buildins.termcomparsion
prolog code
Predicate_term_not_identical() - Constructor for class gnu.prolog.vm.buildins.termcomparsion.Predicate_term_not_identical
 
Predicate_trace - Class in gnu.prolog.vm.buildins.debug
Enable tracing
Predicate_trace() - Constructor for class gnu.prolog.vm.buildins.debug.Predicate_trace
 
Predicate_tracing - Class in gnu.prolog.vm.buildins.debug
Check if tracing
Predicate_tracing() - Constructor for class gnu.prolog.vm.buildins.debug.Predicate_tracing
 
Predicate_unify - Class in gnu.prolog.vm.buildins.unification
Unify two terms
Predicate_unify() - Constructor for class gnu.prolog.vm.buildins.unification.Predicate_unify
 
Predicate_unify_with_occurs_check - Class in gnu.prolog.vm.buildins.unification
Unify two terms occur check
Predicate_unify_with_occurs_check() - Constructor for class gnu.prolog.vm.buildins.unification.Predicate_unify_with_occurs_check
 
Predicate_univ - Class in gnu.prolog.vm.buildins.termcreation
prolog code
Predicate_univ() - Constructor for class gnu.prolog.vm.buildins.termcreation.Predicate_univ
 
Predicate_uuid - Class in gnu.prolog.vm.buildins.uuid
 
Predicate_uuid() - Constructor for class gnu.prolog.vm.buildins.uuid.Predicate_uuid
 
Predicate_uuid3 - Class in gnu.prolog.vm.buildins.uuid
 
Predicate_uuid3() - Constructor for class gnu.prolog.vm.buildins.uuid.Predicate_uuid3
 
Predicate_uuid4 - Class in gnu.prolog.vm.buildins.uuid
 
Predicate_uuid4() - Constructor for class gnu.prolog.vm.buildins.uuid.Predicate_uuid4
 
Predicate_uuid_compare - Class in gnu.prolog.vm.buildins.uuid
 
Predicate_uuid_compare() - Constructor for class gnu.prolog.vm.buildins.uuid.Predicate_uuid_compare
 
Predicate_uuid_variant - Class in gnu.prolog.vm.buildins.uuid
 
Predicate_uuid_variant() - Constructor for class gnu.prolog.vm.buildins.uuid.Predicate_uuid_variant
 
Predicate_uuid_version - Class in gnu.prolog.vm.buildins.uuid
 
Predicate_uuid_version() - Constructor for class gnu.prolog.vm.buildins.uuid.Predicate_uuid_version
 
Predicate_var - Class in gnu.prolog.vm.buildins.typetesting
Predicate variable
Predicate_var() - Constructor for class gnu.prolog.vm.buildins.typetesting.Predicate_var
 
Predicate_write_term - Class in gnu.prolog.vm.buildins.io
prolog code
Predicate_write_term() - Constructor for class gnu.prolog.vm.buildins.io.Predicate_write_term
 
predicateCodes - Variable in class gnu.prolog.vm.interpreter.InterpretedByteCode
predicate codes used by code
predicateIndicator - Variable in class gnu.prolog.vm.UndefinedPredicateCode
predicate indicator for this procedure
predicateIndicatorAtom - Static variable in class gnu.prolog.vm.TermConstants
 
PredicateListener - Interface in gnu.prolog.database
listenr to changes with predicates in this module
predicateListeners - Variable in class gnu.prolog.database.Module
 
predicateTag - Variable in class gnu.prolog.vm.UndefinedPredicateCode
predicate tag
predicateUpdated(CompoundTermTag) - Method in class gnu.prolog.database.Module
 
predicateUpdated(PredicateUpdatedEvent) - Method in interface gnu.prolog.database.PredicateListener
 
predicateUpdated(PredicateUpdatedEvent) - Method in class gnu.prolog.vm.Environment
 
PredicateUpdatedEvent - Class in gnu.prolog.database
event notifying about event with predicates
PredicateUpdatedEvent(Module, CompoundTermTag) - Constructor for class gnu.prolog.database.PredicateUpdatedEvent
 
prepareBody(Term) - Static method in class gnu.prolog.database.Predicate
 
prepareBody(Term, Term) - Static method in class gnu.prolog.vm.buildins.database.Predicate_assert
 
prepareClause(Term) - Static method in class gnu.prolog.database.Predicate
 
prepareGoal(Term) - Method in class gnu.prolog.vm.Interpreter
prepare goal for execution If this is called before the Goal which was previously prepared but has not yet been stopped is stopped then we save that state so we can jump back to it when this goal has been stopped.
prepareHead(Term) - Static method in class gnu.prolog.database.Predicate
 
print(WriteOptions, Term) - Method in class gnu.prolog.io.TermWriter
print term using specified write options
print(Term) - Method in class gnu.prolog.io.TermWriter
print term using default write options
print(OperatorSet, Term) - Method in class gnu.prolog.io.TermWriter
print term using default write options and specified operator set
println(String) - Method in class gnu.prolog.vm.interpreter.Tracer
 
priority - Variable in class gnu.prolog.io.Operator
 
privateProcedureAtom - Static variable in class gnu.prolog.vm.TermConstants
 
procedureAtom - Static variable in class gnu.prolog.vm.TermConstants
 
procedureAtom - Static variable in class gnu.prolog.vm.UndefinedPredicateCode
 
processBuildInDirective(Term, Term) - Method in class gnu.prolog.database.PrologTextLoader
 
processCharConversionDirective(Term, Term) - Method in class gnu.prolog.database.PrologTextLoader
 
processClause(Term) - Method in class gnu.prolog.database.PrologTextLoader
 
processControlDirective(Term, Term) - Method in class gnu.prolog.database.PrologTextLoader
 
processDiscontiguousDirective(Term) - Method in class gnu.prolog.database.PrologTextLoader
 
processDynamicDirective(Term) - Method in class gnu.prolog.database.PrologTextLoader
 
processEnsureLoadedDirective(Term) - Method in class gnu.prolog.database.PrologTextLoader
 
processEof() - Method in class gnu.prolog.database.PrologTextLoader
 
processExternalDirective(Term, Term) - Method in class gnu.prolog.database.PrologTextLoader
 
processFile() - Method in class gnu.prolog.database.PrologTextLoader
 
processIncludeDirective(Term) - Method in class gnu.prolog.database.PrologTextLoader
 
processInitializationDirective(Term) - Method in class gnu.prolog.database.PrologTextLoader
 
processList(List<Term>) - Method in class gnu.prolog.vm.buildins.allsolutions.Predicate_bagof
 
processList(List<Term>) - Method in class gnu.prolog.vm.buildins.allsolutions.Predicate_setof
 
processMultifileDirective(Term) - Method in class gnu.prolog.database.PrologTextLoader
 
processOpDirective(Term, Term, Term) - Method in class gnu.prolog.database.PrologTextLoader
 
processOptions(Term) - Method in class gnu.prolog.vm.buildins.dialogs.Predicate_dialog
Process dialog options
processSetPrologFlagDirective(Term, Term) - Method in class gnu.prolog.database.PrologTextLoader
 
progname - Variable in class gnu.getopt.Getopt
Name to print as the program name in error messages.
PrologCode - Interface in gnu.prolog.vm
prolog code
PrologCodeListener - Interface in gnu.prolog.vm
listener for changes in prolog code
prologCodeListenerReferenceQueue - Variable in class gnu.prolog.vm.Environment
 
prologCodeUpdated(PrologCodeUpdatedEvent) - Method in class gnu.prolog.vm.interpreter.instruction.ICall
notify instruction that prolog code for predicate was updated
prologCodeUpdated(PrologCodeUpdatedEvent) - Method in class gnu.prolog.vm.interpreter.InterpretedByteCode
this method is called when prolog code was updated
prologCodeUpdated(PrologCodeUpdatedEvent) - Method in interface gnu.prolog.vm.PrologCodeListener
this method is called when prolog code was updated
PrologCodeUpdatedEvent - Class in gnu.prolog.vm
Event that indicates changes in prolog code.
PrologCodeUpdatedEvent(Environment, CompoundTermTag) - Constructor for class gnu.prolog.vm.PrologCodeUpdatedEvent
a constructor
PrologCollectionIterator - Class in gnu.prolog.vm
Generic collection iterator which can be used by PrologCode implementations.
PrologCollectionIterator(Iterable<?>, Term, int) - Constructor for class gnu.prolog.vm.PrologCollectionIterator
 
PrologCollectionIterator(Iterator<?>, Term, int) - Constructor for class gnu.prolog.vm.PrologCollectionIterator
 
PrologException - Exception in gnu.prolog.vm
a prolog exception
PrologException() - Constructor for exception gnu.prolog.vm.PrologException
 
PrologException(String, Throwable) - Constructor for exception gnu.prolog.vm.PrologException
 
PrologException(String) - Constructor for exception gnu.prolog.vm.PrologException
 
PrologException(Throwable) - Constructor for exception gnu.prolog.vm.PrologException
 
PrologException(Term, Throwable) - Constructor for exception gnu.prolog.vm.PrologException
a constructor
prologFlagAtom - Static variable in class gnu.prolog.vm.Environment
 
prologFlagAtom - Static variable in class gnu.prolog.vm.TermConstants
 
PrologHalt - Error in gnu.prolog.vm
Thrown by the halt/1 prolog predicate to stop the interpreter
PrologHalt(int) - Constructor for error gnu.prolog.vm.PrologHalt
 
PrologStream - Class in gnu.prolog.vm
 
PrologStream(PrologStream.OpenOptions) - Constructor for class gnu.prolog.vm.PrologStream
 
PrologStream.OpenOptions - Class in gnu.prolog.vm
 
PrologStream.OpenOptions(AtomTerm, AtomTerm, Environment) - Constructor for class gnu.prolog.vm.PrologStream.OpenOptions
 
PrologTextLoader - Class in gnu.prolog.database
 
PrologTextLoader(PrologTextLoaderState) - Constructor for class gnu.prolog.database.PrologTextLoader
 
PrologTextLoader(PrologTextLoaderState, Term) - Constructor for class gnu.prolog.database.PrologTextLoader
 
PrologTextLoader(PrologTextLoaderState, Reader) - Constructor for class gnu.prolog.database.PrologTextLoader
 
PrologTextLoader(PrologTextLoaderState, Reader, String) - Constructor for class gnu.prolog.database.PrologTextLoader
 
PrologTextLoaderError - Exception in gnu.prolog.database
 
PrologTextLoaderError(String, int, int, String) - Constructor for exception gnu.prolog.database.PrologTextLoaderError
 
PrologTextLoaderError(PrologTextLoader, String) - Constructor for exception gnu.prolog.database.PrologTextLoaderError
 
PrologTextLoaderError(PrologTextLoader, ParseException) - Constructor for exception gnu.prolog.database.PrologTextLoaderError
 
PrologTextLoaderError(PrologTextLoaderError, String) - Constructor for exception gnu.prolog.database.PrologTextLoaderError
 
PrologTextLoaderListener - Interface in gnu.prolog.database
A listener for certain prolog text loader events
prologTextLoaderState - Variable in class gnu.prolog.database.PrologTextLoader
prolog text loader state
PrologTextLoaderState - Class in gnu.prolog.database
 
PrologTextLoaderState(Environment) - Constructor for class gnu.prolog.database.PrologTextLoaderState
 
prologTextLoaderState - Variable in class gnu.prolog.vm.Environment
current state of loaded database
propertiesLocked - Variable in class gnu.prolog.database.Predicate
flag which indicate that clauses was added for this predicate
pushBacktrackInfo(BacktrackInfo) - Method in class gnu.prolog.vm.interpreter.ExecutionState
push backtrack info to stack
pushBacktrackInfo(BacktrackInfo) - Method in class gnu.prolog.vm.Interpreter
push backtrack information
pushdown - Variable in class gnu.prolog.vm.interpreter.ExecutionState
pushdown stack, used for unification and calls
pushPushDown(Term) - Method in class gnu.prolog.vm.interpreter.ExecutionState
push term to pushdown stack
putByte(Term, Interpreter, int) - Method in class gnu.prolog.vm.BinaryPrologStream
 
putByte(Term, Interpreter, int) - Method in class gnu.prolog.vm.PrologStream
 
putByte(Term, Interpreter, int) - Method in class gnu.prolog.vm.TextInputPrologStream
 
putByte(Term, Interpreter, int) - Method in class gnu.prolog.vm.TextOutputPrologStream
 
putCode(Term, Interpreter, int) - Method in class gnu.prolog.vm.BinaryPrologStream
 
putCode(Term, Interpreter, int) - Method in class gnu.prolog.vm.PrologStream
 
putCode(Term, Interpreter, int) - Method in class gnu.prolog.vm.TextInputPrologStream
 
putCode(Term, Interpreter, int) - Method in class gnu.prolog.vm.TextOutputPrologStream
 
putCodeSequence(Term, Interpreter, String) - Method in class gnu.prolog.vm.BinaryPrologStream
 
putCodeSequence(Term, Interpreter, String) - Method in class gnu.prolog.vm.PrologStream
 
putCodeSequence(Term, Interpreter, String) - Method in class gnu.prolog.vm.TextInputPrologStream
 
putCodeSequence(Term, Interpreter, String) - Method in class gnu.prolog.vm.TextOutputPrologStream
 
putContext(String, Object) - Method in class gnu.prolog.vm.Interpreter
Deprecated. 
putEnvironment(int, Term) - Method in class gnu.prolog.vm.interpreter.ExecutionState
put term to environment
putTerm(Term, Term) - Method in class gnu.prolog.term.TermCloneContext
put cloned term to context

Q

QUESTION_ATOM - Static variable in class gnu.prolog.vm.buildins.dialogs.Predicate_dialog
 
quoted - Variable in class gnu.prolog.io.WriteOptions
If this option is true, each atom and functor is quoted if it would be necessary for to be input by read_term/3
QUOTED_TOKEN - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
quotedTag - Static variable in class gnu.prolog.vm.TermConstants
 

R

random1 - Static variable in class gnu.prolog.vm.Evaluate
Implementation of the random/1 predicate defined in SWI-Prolog random(+IntExpr) Evaluates to a random integer i for which 0 =< i < IntExpr.
RandomAccessFileReader - Class in gnu.prolog.vm
 
RandomAccessFileReader(RandomAccessFile) - Constructor for class gnu.prolog.vm.RandomAccessFileReader
 
RandomAccessFileWriter - Class in gnu.prolog.vm
 
RandomAccessFileWriter(RandomAccessFile) - Constructor for class gnu.prolog.vm.RandomAccessFileWriter
 
rdereferenced(Term) - Static method in class gnu.prolog.vm.interpreter.InterpretedCodeCompiler
recursively dereference term
read(char[], int, int) - Method in class gnu.prolog.vm.RandomAccessFileReader
 
readAtom - Static variable in class gnu.prolog.vm.PrologStream
 
readChar() - Method in interface gnu.prolog.io.parser.gen.CharStream
Returns the next character from the selected input.
readChar() - Method in class gnu.prolog.io.parser.ReaderCharStream
 
ReaderCharStream - Class in gnu.prolog.io.parser
An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).
ReaderCharStream(Reader, int, int, int) - Constructor for class gnu.prolog.io.parser.ReaderCharStream
 
ReaderCharStream(Reader, int, int) - Constructor for class gnu.prolog.io.parser.ReaderCharStream
 
readerStack - Variable in class gnu.prolog.database.PrologTextLoader
stack of previous readers
readOptionAtom - Static variable in class gnu.prolog.vm.TermConstants
 
ReadOptions - Class in gnu.prolog.io
this class contains representation of ISO prolog read options.
ReadOptions(OperatorSet) - Constructor for class gnu.prolog.io.ReadOptions
 
readResolve() - Method in class gnu.prolog.term.AtomTerm
Return an object to replace the object extracted from the stream.
readResolve() - Method in class gnu.prolog.term.CompoundTermTag
Return an object to replace the object extracted from the stream.
readTerm(ReadOptions) - Method in class gnu.prolog.io.parser.gen.TermParser
 
readTerm(ReadOptions) - Method in class gnu.prolog.io.TermReader
 
readTerm(OperatorSet) - Method in class gnu.prolog.io.TermReader
 
readTerm() - Method in class gnu.prolog.io.TermReader
 
readTerm(Term, Interpreter, ReadOptions) - Method in class gnu.prolog.vm.BinaryPrologStream
 
readTerm(Term, Interpreter, ReadOptions) - Method in class gnu.prolog.vm.PrologStream
 
readTerm(Term, Interpreter, ReadOptions) - Method in class gnu.prolog.vm.TextInputPrologStream
 
readTerm(Term, Interpreter, ReadOptions) - Method in class gnu.prolog.vm.TextOutputPrologStream
 
readTermEof(ReadOptions) - Method in class gnu.prolog.io.parser.gen.TermParser
 
readTermEof(ReadOptions) - Method in class gnu.prolog.io.TermReader
 
readTermEof(OperatorSet) - Method in class gnu.prolog.io.TermReader
 
readTermEof() - Method in class gnu.prolog.io.TermReader
 
ReInit(CharStream) - Method in class gnu.prolog.io.parser.gen.TermParser
 
ReInit(TermParserTokenManager) - Method in class gnu.prolog.io.parser.gen.TermParser
 
ReInit(CharStream) - Method in class gnu.prolog.io.parser.gen.TermParserTokenManager
 
ReInit(CharStream, int) - Method in class gnu.prolog.io.parser.gen.TermParserTokenManager
 
reInit(Reader, int, int, int) - Method in class gnu.prolog.io.parser.ReaderCharStream
 
reInit(Reader, int, int) - Method in class gnu.prolog.io.parser.ReaderCharStream
 
rem2 - Static variable in class gnu.prolog.vm.Evaluate
 
remove(int, String) - Method in class gnu.prolog.io.OperatorSet
remove operator from operator set
removeAllTraces() - Method in class gnu.prolog.vm.interpreter.Tracer
Remove all trace points
removeClause(Term) - Method in class gnu.prolog.database.Predicate
Remove clause for predicate.
removeDefinedPredicate(CompoundTermTag) - Method in class gnu.prolog.database.Module
 
removePredicateListener(PredicateListener) - Method in class gnu.prolog.database.Module
 
removePrologCodeListener(CompoundTermTag, PrologCodeListener) - Method in class gnu.prolog.vm.Environment
remove prolog code listener
removePrologTextLoaderListener(PrologTextLoaderListener) - Method in class gnu.prolog.database.PrologTextLoaderState
 
removeTrace(CompoundTermTag) - Method in class gnu.prolog.vm.interpreter.Tracer
Remove a trace point
removeTrace(CompoundTermTag, EnumSet<Tracer.TraceLevel>) - Method in class gnu.prolog.vm.interpreter.Tracer
Remove a given level
removeTrace(CompoundTermTag, Tracer.TraceLevel) - Method in class gnu.prolog.vm.interpreter.Tracer
 
removeTracerEventListener(TracerEventListener) - Method in class gnu.prolog.vm.interpreter.Tracer
 
reportStatus() - Method in class gnu.prolog.vm.interpreter.Tracer
 
reposition - Variable in class gnu.prolog.vm.PrologStream.OpenOptions
 
reposition - Variable in class gnu.prolog.vm.PrologStream
 
repositionAtom - Static variable in class gnu.prolog.vm.PrologStream
 
repositionAtom - Static variable in class gnu.prolog.vm.TermConstants
 
repositionTag - Static variable in class gnu.prolog.vm.PrologStream
 
representationError(Term) - Static method in exception gnu.prolog.vm.PrologException
 
representationErrorTag - Static variable in exception gnu.prolog.vm.PrologException
 
REQUIRE_ORDER - Static variable in class gnu.getopt.Getopt
Describe how to deal with options that follow non-option ARGV-elements.
REQUIRED_ARGUMENT - Static variable in class gnu.getopt.LongOpt
Constant value used for the "has_arg" constructor argument.
reserved - Variable in class gnu.prolog.vm.interpreter.instruction.IAllocate
reserved fields, fields are reserved for saved choice points and arguments, reserved fields are included in environment size but they are not initilized with unbound variables
resetAtom - Static variable in class gnu.prolog.vm.PrologStream
 
resolveInputFile(String) - Method in class gnu.prolog.database.PrologTextLoaderState
Resolve the input filename.
resolveStream(Term) - Method in class gnu.prolog.vm.Environment
 
resource1Tag - Static variable in class gnu.prolog.database.PrologTextLoader
 
resourceTag - Static variable in class gnu.prolog.database.PrologTextLoaderState
 
result - Variable in class gnu.prolog.vm.buildins.dialogs.Predicate_confirm.TermOption
 
RETRY_ATOM - Static variable in class gnu.prolog.vm.buildins.dialogs.Predicate_dialog
 
RetryBacktrackInfo - Class in gnu.prolog.vm.interpreter
retry backtrack info.
RetryBacktrackInfo(int, int) - Constructor for class gnu.prolog.vm.interpreter.RetryBacktrackInfo
a costructor
RetryInstruction - Class in gnu.prolog.vm.interpreter.instruction
base class to try_me_else and retry_me_else instructions.
RetryInstruction(int) - Constructor for class gnu.prolog.vm.interpreter.instruction.RetryInstruction
a constructor
retryPosition - Variable in class gnu.prolog.vm.interpreter.instruction.RetryInstruction
position to go to on retry, it always points to either retry_me_else or to trust_me instructions
RETURN - Static variable in class gnu.prolog.vm.interpreter.ExecutionState
instruction return code indicating success.
RETURN_IN_ORDER - Static variable in class gnu.getopt.Getopt
RETURN_IN_ORDER is an option available to programs that were written to expect options and other ARGV-elements in any order and that care about the ordering of the two.
right - Variable in class gnu.prolog.database.Pair
The right part of the tuple
rootFile - Variable in class gnu.prolog.database.PrologTextLoader
root file
round1 - Static variable in class gnu.prolog.vm.Evaluate
 
runInitialization(Interpreter) - Method in class gnu.prolog.vm.Environment
Run the initialization.
runInitializers(Environment) - Static method in class gnu.prolog.vm.EnvInitializer
Run all initializers
Runner - Class in gnu.prolog.gui
Deprecated. 
Runner() - Constructor for class gnu.prolog.gui.Runner
Deprecated.  
runOnce(Term) - Method in class gnu.prolog.vm.Interpreter
Run the provided goalTerm once returning the value returned by Interpreter.execute(Goal) and then stop the goal.

S

secondAtom - Static variable in class gnu.prolog.vm.buildins.datetime.Predicate_date_time_value
 
seek(long) - Method in class gnu.prolog.vm.RandomAccessFileReader
 
seek(long) - Method in class gnu.prolog.vm.RandomAccessFileWriter
 
selection - Variable in class gnu.prolog.vm.buildins.dialogs.Predicate_dialog.DialogOptions
 
SELECTION_TAG - Static variable in class gnu.prolog.vm.buildins.dialogs.Predicate_dialog
 
SEMICOLON_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
SEMICOLON_TOKEN - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
sendEvent(Tracer.TraceLevel, Interpreter, CompoundTermTag, Term[]) - Method in class gnu.prolog.vm.interpreter.Tracer
Notify the listeners
set_prolog_flagTag - Static variable in class gnu.prolog.database.PrologTextLoader
 
setActive(boolean) - Method in class gnu.prolog.vm.interpreter.Tracer
Enable/disable tracing
setArgv(String[]) - Method in class gnu.getopt.Getopt
Since in GNU getopt() the argument vector is passed back in to the function every time, the caller can swap out argv on the fly.
setConversion(char, char) - Method in class gnu.prolog.io.CharConversionTable
Set the conversion of a character
setCurrentInput(PrologStream) - Method in class gnu.prolog.vm.Environment
 
setCurrentOutput(PrologStream) - Method in class gnu.prolog.vm.Environment
 
setDefaultInputStream(InputStream) - Static method in class gnu.prolog.vm.Environment
 
setDefaultOutputStream(OutputStream) - Static method in class gnu.prolog.vm.Environment
 
setDynamic() - Method in class gnu.prolog.database.Predicate
set "dynamic" property of predicate to true.
setJavaClassName(String) - Method in class gnu.prolog.database.Predicate
set java class name of the predicate.
setOpterr(boolean) - Method in class gnu.getopt.Getopt
Normally Getopt will print a message to the standard error when an invalid option is encountered.
setOptind(int) - Method in class gnu.getopt.Getopt
This method allows the optind index to be set manually.
setOptstring(String) - Method in class gnu.getopt.Getopt
In GNU getopt, it is possible to change the string containg valid options on the fly because it is passed as an argument to getopt() each time.
setPosition(Term, Interpreter, Term) - Method in class gnu.prolog.vm.BinaryPrologStream
 
setPosition(Term, Interpreter, Term) - Method in class gnu.prolog.vm.PrologStream
 
setPosition(Term, Interpreter, Term) - Method in class gnu.prolog.vm.TextInputPrologStream
 
setPosition(Term, Interpreter, Term) - Method in class gnu.prolog.vm.TextOutputPrologStream
 
setPrologFlag(AtomTerm, Term) - Method in class gnu.prolog.vm.Environment
 
setSpyPoint(Interpreter, CompoundTermTag, Term) - Method in class gnu.prolog.vm.buildins.debug.Predicate_spy
 
setTrace(CompoundTermTag, EnumSet<Tracer.TraceLevel>) - Method in class gnu.prolog.vm.interpreter.Tracer
 
setType(Predicate.TYPE) - Method in class gnu.prolog.database.Predicate
set type of predicate
sign1 - Static variable in class gnu.prolog.vm.Evaluate
 
simpleTerm(ReadOptions) - Method in class gnu.prolog.io.parser.gen.TermParser
 
simpleUnify(Term, Term) - Method in class gnu.prolog.vm.Interpreter
unify two terms, no undo done
sin1 - Static variable in class gnu.prolog.vm.Evaluate
 
SINGLE_LINE_COMMENT - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
SINGLE_QUOTE_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
SINGLE_QUOTED_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
SINGLE_QUOTED_ITEM - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
singletons - Variable in class gnu.prolog.io.ReadOptions
'singletons' ISO Prolog options it is not used currently.
singletonsTag - Static variable in class gnu.prolog.vm.TermConstants
 
size() - Method in class gnu.prolog.vm.RandomAccessFileReader
 
size() - Method in class gnu.prolog.vm.RandomAccessFileWriter
 
SMALL_LETTER_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
SOLO_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
sourceSinkAtom - Static variable in class gnu.prolog.vm.PrologStream
 
sourceSinkAtom - Static variable in class gnu.prolog.vm.TermConstants
 
SPACE_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
specialConstructor - Variable in exception gnu.prolog.io.parser.gen.ParseException
This variable determines which constructor was used to create this object and thereby affects the semantics of the "getMessage" method (see below).
specialToken - Variable in class gnu.prolog.io.parser.gen.Token
This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token.
specifier - Variable in class gnu.prolog.io.Operator
 
sqrt1 - Static variable in class gnu.prolog.vm.Evaluate
 
startBacktrackInfo - Variable in class gnu.prolog.vm.interpreter.ExecutionState
current backtrack info, only active on backtracking
startBacktrackInfo - Variable in class gnu.prolog.vm.interpreter.LeaveByteCodeBacktrackInfo
execution state
startPosition - Variable in class gnu.prolog.vm.interpreter.ExceptionHandlerInfo
start position of code segment
startUndoPosition - Variable in class gnu.prolog.vm.buildins.list.Predicate_append.AppendBacktrackInfo
 
startUndoPosition - Variable in class gnu.prolog.vm.buildins.list.Predicate_member.MemberBacktrackInfo
 
startUndoPosition - Variable in class gnu.prolog.vm.PrologCollectionIterator
The start undo position
staticExecute(Interpreter, boolean, Term) - Static method in class gnu.prolog.vm.interpreter.Predicate_call
this method is used for execution of code
staticProcedureAtom - Static variable in class gnu.prolog.vm.TermConstants
 
stop(Interpreter.Goal) - Method in class gnu.prolog.vm.Interpreter
Once the goal has been finished with and if the goal has not been stopped (as it will have been if SUCCESS_LAST or FAIL has been returned) then Interpreter.stop(Goal) should be run.
stopped - Variable in class gnu.prolog.vm.Interpreter.Goal
 
streamAtom - Static variable in class gnu.prolog.vm.PrologStream
 
streamAtom - Static variable in class gnu.prolog.vm.TermConstants
 
streamOptionAtom - Static variable in class gnu.prolog.vm.TermConstants
 
streamOrAliasAtom - Static variable in class gnu.prolog.vm.PrologStream
 
streamOrAliasAtom - Static variable in class gnu.prolog.vm.TermConstants
 
streamPositionAtom - Static variable in class gnu.prolog.vm.TermConstants
 
streamPropertyAtom - Static variable in class gnu.prolog.vm.TermConstants
 
streamTerm - Variable in class gnu.prolog.vm.PrologStream
 
stringToTerm(ReadOptions, String, Environment) - Static method in class gnu.prolog.io.TermReader
 
stringToTerm(String, Environment) - Static method in class gnu.prolog.io.TermReader
 
sub2 - Static variable in class gnu.prolog.vm.Evaluate
 
SUCCESS - Static variable in interface gnu.prolog.vm.PrologCode
predicate was returned with success, backtrack info was created, and re-execute is possible.
SUCCESS_LAST - Static variable in interface gnu.prolog.vm.PrologCode
predicate was returned with success, backtrack info was not created
SwitchTo(int) - Method in class gnu.prolog.io.parser.gen.TermParserTokenManager
 
SYMBOLIC_ALERT_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
SYMBOLIC_BACKSPACE_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
SYMBOLIC_CARRIAGE_RETURN_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
SYMBOLIC_CONTROL_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
SYMBOLIC_FORM_FEED_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
SYMBOLIC_HEXADECIMAL_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
SYMBOLIC_HORIZONTAL_TAB_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
SYMBOLIC_NEW_LINE_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
SYMBOLIC_VERTICAL_TAB_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
syntaxError(AtomTerm) - Static method in exception gnu.prolog.vm.PrologException
 
syntaxError(AtomTerm, Throwable) - Static method in exception gnu.prolog.vm.PrologException
 
syntaxError(ParseException) - Static method in exception gnu.prolog.vm.PrologException
 
syntaxErrorTag - Static variable in exception gnu.prolog.vm.PrologException
 
systemError() - Static method in exception gnu.prolog.vm.PrologException
 
systemError(Throwable) - Static method in exception gnu.prolog.vm.PrologException
 
systemErrorAtom - Static variable in exception gnu.prolog.vm.PrologException
 

T

tag - Variable in class gnu.prolog.database.Predicate
a tag of predicate head
tag - Variable in class gnu.prolog.database.PredicateUpdatedEvent
 
tag - Variable in class gnu.prolog.io.Operator
 
tag - Variable in class gnu.prolog.term.CompoundTerm
term tag
tag - Variable in class gnu.prolog.vm.interpreter.CallBacktrackInfo
 
tag - Variable in class gnu.prolog.vm.interpreter.instruction.ICall
tag of predicate to call
tag - Variable in class gnu.prolog.vm.interpreter.instruction.ICreateCompoundTerm
position of term in environment
tag - Variable in class gnu.prolog.vm.interpreter.TracerEvent
 
tag2code - Variable in class gnu.prolog.vm.Environment
PredicateTag to code mapping
tag2listeners - Variable in class gnu.prolog.vm.Environment
 
tag2predicate - Variable in class gnu.prolog.database.Module
map from tag to predicates
tags - Variable in class gnu.prolog.vm.interpreter.InterpretedByteCode
tags used by code
term(ReadOptions, int) - Method in class gnu.prolog.io.parser.gen.TermParser
 
Term - Class in gnu.prolog.term
base class for all terms.
Term() - Constructor for class gnu.prolog.term.Term
 
term - Variable in class gnu.prolog.vm.interpreter.instruction.IPushConstant
term to push
term - Variable in exception gnu.prolog.vm.PrologException
term of the exception
termArrayType - Static variable in class gnu.prolog.vm.buildins.termcreation.Predicate_univ
 
termArrayType - Static variable in class gnu.prolog.vm.interpreter.Predicate_call
term arry constant
TermCloneContext - Class in gnu.prolog.term
 
TermCloneContext() - Constructor for class gnu.prolog.term.TermCloneContext
 
TermComparator - Class in gnu.prolog.term
comparator for two term
TermComparator() - Constructor for class gnu.prolog.term.TermComparator
 
TermConstants - Class in gnu.prolog.vm
 
TermFileFilter - Class in gnu.prolog.vm.buildins.dialogs
 
TermFileFilter(Term) - Constructor for class gnu.prolog.vm.buildins.dialogs.TermFileFilter
 
TermParser - Class in gnu.prolog.io.parser.gen
 
TermParser(Reader, int, int, Environment) - Constructor for class gnu.prolog.io.parser.gen.TermParser
 
TermParser(ReaderCharStream, Environment) - Constructor for class gnu.prolog.io.parser.gen.TermParser
 
TermParser(CharStream) - Constructor for class gnu.prolog.io.parser.gen.TermParser
 
TermParser(TermParserTokenManager) - Constructor for class gnu.prolog.io.parser.gen.TermParser
 
TermParserConstants - Interface in gnu.prolog.io.parser.gen
 
TermParserTokenManager - Class in gnu.prolog.io.parser.gen
 
TermParserTokenManager(CharStream) - Constructor for class gnu.prolog.io.parser.gen.TermParserTokenManager
 
TermParserTokenManager(CharStream, int) - Constructor for class gnu.prolog.io.parser.gen.TermParserTokenManager
 
TermParserUtils - Class in gnu.prolog.io.parser
 
TermReader - Class in gnu.prolog.io
 
TermReader(Reader, int, int, Environment) - Constructor for class gnu.prolog.io.TermReader
 
TermReader(Reader, Environment) - Constructor for class gnu.prolog.io.TermReader
 
termReader - Variable in class gnu.prolog.vm.TextInputPrologStream
 
TermUtils - Class in gnu.prolog.term
 
TermWriter - Class in gnu.prolog.io
This class is intendent for printing terms.
TermWriter(Writer) - Constructor for class gnu.prolog.io.TermWriter
create term writer over other writer.
termWriter - Variable in class gnu.prolog.vm.TextOutputPrologStream
 
testOption(PrologTextLoader, Predicate, String) - Method in class gnu.prolog.database.PrologTextLoaderState
 
text - Variable in class gnu.prolog.vm.buildins.dialogs.Predicate_confirm.TermOption
 
textAtom - Static variable in class gnu.prolog.vm.PrologStream
 
TextInputPrologStream - Class in gnu.prolog.vm
 
TextInputPrologStream(PrologStream.OpenOptions, Reader) - Constructor for class gnu.prolog.vm.TextInputPrologStream
 
TextInputPrologStream(PrologStream.OpenOptions, RandomAccessFile) - Constructor for class gnu.prolog.vm.TextInputPrologStream
 
TextOutputPrologStream - Class in gnu.prolog.vm
 
TextOutputPrologStream(PrologStream.OpenOptions, RandomAccessFile) - Constructor for class gnu.prolog.vm.TextOutputPrologStream
 
textStreamAtom - Static variable in class gnu.prolog.vm.TermConstants
 
throwTag - Static variable in class gnu.prolog.vm.interpreter.InterpretedCodeCompiler
throw tag
timeAtom - Static variable in class gnu.prolog.vm.buildins.datetime.DateTimePrologCode
 
timeTag - Static variable in class gnu.prolog.vm.buildins.datetime.DateTimePrologCode
 
timeZoneAtom - Static variable in class gnu.prolog.vm.buildins.datetime.Predicate_date_time_value
 
title - Variable in class gnu.prolog.vm.buildins.dialogs.Predicate_dialog.DialogOptions
 
TITLE_TAG - Static variable in class gnu.prolog.vm.buildins.dialogs.Predicate_dialog
 
toCollection(Term, Collection<Term>) - Static method in class gnu.prolog.term.CompoundTerm
 
token - Variable in class gnu.prolog.io.parser.gen.TermParser
 
Token - Class in gnu.prolog.io.parser.gen
Describes the input token stream.
Token() - Constructor for class gnu.prolog.io.parser.gen.Token
 
token_source - Variable in class gnu.prolog.io.parser.gen.TermParser
 
tokenImage - Variable in exception gnu.prolog.io.parser.gen.ParseException
This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred.
tokenImage - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
TokenMgrError - Error in gnu.prolog.io.parser.gen
 
TokenMgrError() - Constructor for error gnu.prolog.io.parser.gen.TokenMgrError
 
TokenMgrError(String, int) - Constructor for error gnu.prolog.io.parser.gen.TokenMgrError
 
TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for error gnu.prolog.io.parser.gen.TokenMgrError
 
toString() - Method in exception gnu.prolog.database.PrologTextLoaderError
 
toString() - Method in class gnu.prolog.io.Operator
 
toString() - Method in class gnu.prolog.io.parser.gen.Token
Returns the image.
toString(Term) - Static method in class gnu.prolog.io.TermWriter
convert term passed as argument to string
toString(Term, WriteOptions) - Static method in class gnu.prolog.io.TermWriter
convert term passed as argument to string
toString() - Method in class gnu.prolog.term.CompoundTermTag
convert tag to string
toString() - Method in class gnu.prolog.term.Term
 
toString() - Method in class gnu.prolog.vm.buildins.dialogs.Predicate_confirm.TermOption
 
toString() - Method in class gnu.prolog.vm.interpreter.ExceptionHandlerInfo
convert handler to string
toString() - Method in class gnu.prolog.vm.interpreter.instruction.IAllocate
convert instruction to string
toString() - Method in class gnu.prolog.vm.interpreter.instruction.ICall
convert instruction to string
toString() - Method in class gnu.prolog.vm.interpreter.instruction.ICreateCompoundTerm
convert instruction to string
toString() - Method in class gnu.prolog.vm.interpreter.instruction.ICreateVariable
convert instruction to string
toString() - Method in class gnu.prolog.vm.interpreter.instruction.ICut
convert instruction to string
toString() - Method in class gnu.prolog.vm.interpreter.instruction.IDup
convert instruction to string
toString() - Method in class gnu.prolog.vm.interpreter.instruction.IFail
convert instruction to string
toString() - Method in class gnu.prolog.vm.interpreter.instruction.IJump
convert instruction to string
toString() - Method in class gnu.prolog.vm.interpreter.instruction.IPop
convert instruction to string
toString() - Method in class gnu.prolog.vm.interpreter.instruction.IPushArgument
convert instruction to string
toString() - Method in class gnu.prolog.vm.interpreter.instruction.IPushConstant
convert instruction to string
toString() - Method in class gnu.prolog.vm.interpreter.instruction.IPushEnvironment
convert instruction to string
toString() - Method in class gnu.prolog.vm.interpreter.instruction.IRestoreState
convert instruction to string
toString() - Method in class gnu.prolog.vm.interpreter.instruction.IRetryMeElse
convert instruction to string
toString() - Method in class gnu.prolog.vm.interpreter.instruction.IReturn
convert instruction to string
toString() - Method in class gnu.prolog.vm.interpreter.instruction.ISaveCut
convert instruction to string
toString() - Method in class gnu.prolog.vm.interpreter.instruction.ISaveState
convert instruction to string
toString() - Method in class gnu.prolog.vm.interpreter.instruction.IStoreEnvironment
convert instruction to string
toString() - Method in class gnu.prolog.vm.interpreter.instruction.IThrow
convert instruction to string
toString() - Method in class gnu.prolog.vm.interpreter.instruction.ITrue
convert instruction to string
toString() - Method in class gnu.prolog.vm.interpreter.instruction.ITrustMe
convert instruction to string
toString() - Method in class gnu.prolog.vm.interpreter.instruction.ITryMeElse
convert instruction to string
toString() - Method in class gnu.prolog.vm.interpreter.instruction.IUnify
convert instruction to string
toString() - Method in class gnu.prolog.vm.interpreter.InterpretedByteCode
convert code to string
towardZeroAtom - Static variable in class gnu.prolog.vm.Environment
 
traceEvent(Tracer.TraceLevel, Interpreter, CompoundTermTag, Term[]) - Method in class gnu.prolog.vm.interpreter.Tracer
A trace event
tracePoints - Variable in class gnu.prolog.vm.interpreter.Tracer
Current active trace points
Tracer - Class in gnu.prolog.vm.interpreter
 
Tracer(PrologStream) - Constructor for class gnu.prolog.vm.interpreter.Tracer
 
Tracer.TraceLevel - Enum in gnu.prolog.vm.interpreter
Different trace levels
TracerEvent - Class in gnu.prolog.vm.interpreter
The event object send to TracerEventListeners
TracerEvent(Tracer, Tracer.TraceLevel, CompoundTermTag, Term[]) - Constructor for class gnu.prolog.vm.interpreter.TracerEvent
 
tracerEvent(TracerEvent) - Method in interface gnu.prolog.vm.interpreter.TracerEventListener
Called in case a tracer event was accepted by the tracer.
TracerEventListener - Interface in gnu.prolog.vm.interpreter
Listens for TracerEvents.
tracingActive - Variable in class gnu.prolog.vm.interpreter.Tracer
If tracing is active
trueAtom - Static variable in class gnu.prolog.vm.TermConstants
 
truncate1 - Static variable in class gnu.prolog.vm.Evaluate
 
type - Variable in class gnu.prolog.database.Predicate
type of predicate.
type - Variable in class gnu.prolog.vm.PrologStream.OpenOptions
 
type - Variable in class gnu.prolog.vm.PrologStream
 
TYPE_TAG - Static variable in class gnu.prolog.vm.buildins.dialogs.Predicate_dialog
 
typeError(AtomTerm, Term) - Static method in exception gnu.prolog.vm.PrologException
 
typeErrorTag - Static variable in exception gnu.prolog.vm.PrologException
 
typeTag - Static variable in class gnu.prolog.vm.PrologStream
 
typeTestInt(Term) - Static method in class gnu.prolog.vm.Evaluate
Test the term for an integer term

U

undefinedAtom - Static variable in class gnu.prolog.vm.TermConstants
 
undefinedPredicate - Variable in class gnu.prolog.vm.Environment
predicate which used instead of real code when predicate is not defined
UndefinedPredicateCode - Class in gnu.prolog.vm
prolog code
UndefinedPredicateCode(CompoundTermTag) - Constructor for class gnu.prolog.vm.UndefinedPredicateCode
construct new instance of undefiend predicate
underflowAtom - Static variable in class gnu.prolog.vm.TermConstants
 
UNDERSCORE_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
undo(Interpreter) - Method in class gnu.prolog.vm.BacktrackInfo
undo changes up to creation of this backtrack info
undo(int) - Method in class gnu.prolog.vm.Interpreter
undo changes until this position
undoPosition - Variable in class gnu.prolog.vm.BacktrackInfo
A position in undo stack.
unify(Term, Term) - Method in class gnu.prolog.vm.Interpreter
unify two terms
unifyTag - Static variable in class gnu.prolog.vm.interpreter.InterpretedCodeCompiler
unify tag
unifyTag - Static variable in class gnu.prolog.vm.TermConstants
 
uninstall(Environment) - Method in class gnu.prolog.vm.ExecuteOnlyCode
Just an empty method as we don't need to do anything here.
uninstall(Environment) - Method in interface gnu.prolog.vm.Installable
this method is called when code is uninstalled from the environment
uninstall(Environment) - Method in class gnu.prolog.vm.interpreter.instruction.ICall
uninstall instruction from environment
uninstall(Environment) - Method in class gnu.prolog.vm.interpreter.instruction.Instruction
uninstall instruction from environment
uninstall(Environment) - Method in class gnu.prolog.vm.interpreter.InterpretedByteCode
this method is called when code is uninstalled from the environment
UNKNOWN - Static variable in class gnu.prolog.term.Term
 
unknownAtom - Static variable in class gnu.prolog.vm.Environment
 
unknownAtom - Static variable in class gnu.prolog.vm.UndefinedPredicateCode
 
UNTRACEABLE - Static variable in class gnu.prolog.vm.interpreter.Tracer
 
url1Tag - Static variable in class gnu.prolog.database.PrologTextLoader
 
urlTag - Static variable in class gnu.prolog.database.PrologTextLoaderState
 
USAGE - Static variable in class gnu.prolog.demo.mentalarithmetic.MentalArithmetic
The USAGE of this program as a standalone program.
userInput - Variable in class gnu.prolog.vm.Environment
 
userInputAtom - Static variable in class gnu.prolog.vm.PrologStream
 
userOutput - Variable in class gnu.prolog.vm.Environment
 
userOutputAtom - Static variable in class gnu.prolog.vm.PrologStream
 
utcOffsetAtom - Static variable in class gnu.prolog.vm.buildins.datetime.Predicate_date_time_value
 
UUID_ATOM - Static variable in class gnu.prolog.vm.buildins.uuid.Predicate_uuid
 

V

val - Variable in class gnu.getopt.LongOpt
The value to store in "flag" if flag is not null, otherwise the equivalent short option character for this long option.
value - Variable in class gnu.prolog.io.parser.NameToken
 
value - Variable in class gnu.prolog.term.AtomTerm
value of atom
value - Variable in class gnu.prolog.term.FloatTerm
value of term
value - Variable in class gnu.prolog.term.IntegerTerm
value of integer
value - Variable in class gnu.prolog.term.JavaObjectTerm
value of the term
value - Variable in class gnu.prolog.term.VariableTerm
value of variable term
valueOf(String) - Static method in enum gnu.prolog.database.Predicate.TYPE
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum gnu.prolog.vm.Environment.DoubleQuotesValue
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum gnu.prolog.vm.interpreter.Tracer.TraceLevel
Returns the enum constant of this type with the specified name.
values() - Static method in enum gnu.prolog.database.Predicate.TYPE
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum gnu.prolog.vm.Environment.DoubleQuotesValue
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum gnu.prolog.vm.interpreter.Tracer.TraceLevel
Returns an array containing the constants of this enum type, in the order they are declared.
variable(ReadOptions) - Method in class gnu.prolog.io.parser.gen.TermParser
 
VARIABLE - Static variable in class gnu.prolog.term.Term
 
variable2name - Variable in class gnu.prolog.io.WriteOptions
Map from variables to names.
VARIABLE_INDICATOR_CHAR - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
VARIABLE_TOKEN - Static variable in interface gnu.prolog.io.parser.gen.TermParserConstants
 
variableAtom - Static variable in class gnu.prolog.vm.TermConstants
 
variableNames - Variable in class gnu.prolog.io.ReadOptions
'variable_names' ISO Prolog options
variableNamesTag - Static variable in class gnu.prolog.vm.TermConstants
 
variables - Variable in class gnu.prolog.io.ReadOptions
'variables' ISO Prolog options
variables - Variable in class gnu.prolog.vm.Interpreter
 
variablesAmount - Variable in class gnu.prolog.vm.Interpreter
 
variablesTag - Static variable in class gnu.prolog.vm.TermConstants
 
VariableTerm - Class in gnu.prolog.term
 
VariableTerm() - Constructor for class gnu.prolog.term.VariableTerm
create new unnamed variable term
VariableTerm(String) - Constructor for class gnu.prolog.term.VariableTerm
Create a new named variable term
variableToEnvironmentIndex - Variable in class gnu.prolog.vm.interpreter.InterpretedCodeCompiler
mapping from variables to environment indexes
Version - Class in gnu.prolog
Version information for gnuprolog
versionAtom - Static variable in class gnu.prolog.vm.Environment
 
versionTerm - Static variable in class gnu.prolog.vm.Environment
 

W

WARNING_ATOM - Static variable in class gnu.prolog.vm.buildins.dialogs.Predicate_dialog
 
warningAtom - Static variable in class gnu.prolog.vm.Environment
 
warningAtom - Static variable in class gnu.prolog.vm.UndefinedPredicateCode
 
write(char[], int, int) - Method in class gnu.prolog.vm.RandomAccessFileWriter
 
writeAtom - Static variable in class gnu.prolog.vm.PrologStream
 
writeOptionAtom - Static variable in class gnu.prolog.vm.TermConstants
 
WriteOptions - Class in gnu.prolog.io
ISO Prolog write options (Section 7.10.4)
WriteOptions(OperatorSet) - Constructor for class gnu.prolog.io.WriteOptions
 
WriteOptions(OperatorSet, boolean, boolean, boolean) - Constructor for class gnu.prolog.io.WriteOptions
 
writeTerm(Term, Interpreter, WriteOptions, Term) - Method in class gnu.prolog.vm.BinaryPrologStream
 
writeTerm(Term, Interpreter, WriteOptions, Term) - Method in class gnu.prolog.vm.PrologStream
 
writeTerm(Term, Interpreter, WriteOptions, Term) - Method in class gnu.prolog.vm.TextInputPrologStream
 
writeTerm(Term, Interpreter, WriteOptions, Term) - Method in class gnu.prolog.vm.TextOutputPrologStream
 

X

XF - Static variable in class gnu.prolog.io.Operator
 
xfAtom - Static variable in class gnu.prolog.vm.TermConstants
 
xfOp - Variable in class gnu.prolog.io.parser.NameToken
 
XFX - Static variable in class gnu.prolog.io.Operator
 
xfxAtom - Static variable in class gnu.prolog.vm.TermConstants
 
XFY - Static variable in class gnu.prolog.io.Operator
 
xfyAtom - Static variable in class gnu.prolog.vm.TermConstants
 

Y

yearAtom - Static variable in class gnu.prolog.vm.buildins.datetime.Predicate_date_time_value
 
YES_ATOM - Static variable in class gnu.prolog.vm.buildins.dialogs.Predicate_dialog
 
YF - Static variable in class gnu.prolog.io.Operator
 
yfAtom - Static variable in class gnu.prolog.vm.TermConstants
 
YFX - Static variable in class gnu.prolog.io.Operator
 
yfxAtom - Static variable in class gnu.prolog.vm.TermConstants
 

Z

zero - Static variable in class gnu.prolog.vm.buildins.termcreation.Predicate_functor
constant used in predicate
zeroDivizorAtom - Static variable in class gnu.prolog.vm.TermConstants
 

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
GNU Prolog for Java