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