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

A

Agent - class alice.tuprolog.Agent.

Provides a prolog virtual machine embedded in a separate thread.

Agent(String) - Constructor for class alice.tuprolog.Agent

Builds a prolog agent providing it a theory

Agent(String, String) - Constructor for class alice.tuprolog.Agent

Builds a prolog agent providing it a theory and a goal

Agent(InputStream) - Constructor for class alice.tuprolog.Agent

Constructs the Agent with a theory provided by an input stream

Agent(InputStream, String) - Constructor for class alice.tuprolog.Agent

Constructs the Agent with a theory provided by an input stream and a goal

Automaton - class alice.util.Automaton.

this abstract class is the base class for implementing automaton abstraction automaton state behaviour is expressed in public method and the become method allows to move computation from state to state method representing state must be public (to allow correct behaviour of reflection)

Automaton() - Constructor for class alice.util.Automaton

abs() - Method in class alice.util.V2d

abs_1(Term) - Method in class alice.tuprolog.lib.ISOLibrary

addLibraryListener(LibraryListener) - Method in class alice.tuprolog.Prolog

Adds a listener to library events

addOutputListener(OutputListener) - Method in class alice.tuprolog.Agent

Adds a listener to ouput events

addOutputListener(OutputListener) - Method in class alice.tuprolog.Prolog

Adds a listener to ouput events

addQueryListener(QueryListener) - Method in class alice.tuprolog.Prolog

Adds a listener to theory events

addSpyListener(SpyListener) - Method in class alice.tuprolog.Prolog

Adds a listener to spy events

addTheory(Theory) - Method in class alice.tuprolog.Prolog

Adds (appends) a theory

addTheoryListener(TheoryListener) - Method in class alice.tuprolog.Prolog

Adds a listener to theory events

addWarningListener(WarningListener) - Method in class alice.tuprolog.Prolog

Adds a listener to warning events

add_theory_1(Struct) - Method in class alice.tuprolog.lib.BasicLibrary

adds a new theory provided as a text

agent_1(Struct) - Method in class alice.tuprolog.lib.BasicLibrary

spawns a separate prolog agent providing it a theory text

agent_2(Struct, Struct) - Method in class alice.tuprolog.lib.BasicLibrary

spawns a separate prolog agent providing it a theory text and a goal

alice.tuprolog - package alice.tuprolog

alice.tuprolog.lib - package alice.tuprolog.lib

alice.util - package alice.util

append(Theory) - Method in class alice.tuprolog.Theory

Adds (appends) a theory to this.

append(Object) - Method in class alice.util.LinkedList

tail insert

atan_1(Term) - Method in class alice.tuprolog.lib.ISOLibrary

atom_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary

atom_chars_2(Term, Term) - Method in class alice.tuprolog.lib.ISOLibrary

atom_length_2(Struct, Term) - Method in class alice.tuprolog.lib.ISOLibrary

atomic_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary

B

BasicLibrary - class alice.tuprolog.lib.BasicLibrary.

This class defines a set of basic built-in predicates for the tuProlog engine Library/Theory dependency: none

BasicLibrary() - Constructor for class alice.tuprolog.lib.BasicLibrary

boot() - Method in class alice.util.Automaton

boot state of automaton

C

ceiling_1(Term) - Method in class alice.tuprolog.lib.ISOLibrary

char_code_2(Term, Term) - Method in class alice.tuprolog.lib.ISOLibrary

clearTheory() - Method in class alice.tuprolog.Prolog

Clears current theory

compound_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary

constant_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary

copy() - Method in class alice.tuprolog.NullTerm

copy() - Method in class alice.tuprolog.Number

gets a copy of this term.

copy() - Method in class alice.tuprolog.Struct

Gets a copy of this structure

copy() - Method in class alice.tuprolog.Term

gets a copy of this term.

copy() - Method in class alice.tuprolog.Var

Gets a copy of this variable

cos_1(Term) - Method in class alice.tuprolog.lib.ISOLibrary

D

Double - class alice.tuprolog.Double.

Double class represents the double prolog data type

Double(double) - Constructor for class alice.tuprolog.Double

delete(Object) - Method in class alice.util.LinkedList

destroy_object_1(Term) - Method in class alice.tuprolog.lib.JavaLibrary

Destroy the link to a java object - called not directly, but from predicate java_object (as second choice, for backtracking)

dismiss() - Method in class alice.tuprolog.Library

method invoked by prolog engine when library is going to be removed

dismiss() - Method in class alice.tuprolog.lib.JavaLibrary

dismissAll() - Method in class alice.tuprolog.lib.JavaLibrary

div_2(Term, Term) - Method in class alice.tuprolog.lib.ISOLibrary

doubleValue() - Method in class alice.tuprolog.Double

Returns the value of the Double as double

doubleValue() - Method in class alice.tuprolog.Float

Returns the value of the Float as double

doubleValue() - Method in class alice.tuprolog.Int

Returns the value of the Integer as double

doubleValue() - Method in class alice.tuprolog.Long

Returns the value of the Integer as double

doubleValue() - Method in class alice.tuprolog.Number

Returns the value of the number as double

E

EOF - Static variable in class alice.tuprolog.Parser

ERROR - Static variable in class alice.tuprolog.Parser

end() - Method in class alice.util.Automaton

shutdown state

equals(Object) - Method in class alice.tuprolog.Term

Tests for the equality of two object terms The comparison follows the same semantic of the isEQU method.

error() - Method in class alice.util.Automaton

error state

exp_1(Term) - Method in class alice.tuprolog.lib.ISOLibrary

expression_bitwise_and_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary

expression_bitwise_not_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary

expression_bitwise_or_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary

expression_bitwise_shift_left_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary

expression_bitwise_shift_right_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary

expression_div_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary

expression_equality_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary

expression_greater_than_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary

expression_integer_div_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary

expression_less_than_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary

expression_minus_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary

expression_minus_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary

expression_multiply_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary

expression_plus_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary

expression_plus_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary

expression_pow_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary

F

FALSE - Static variable in class alice.tuprolog.Term

Float - class alice.tuprolog.Float.

Float class represents the float prolog data type

Float(float) - Constructor for class alice.tuprolog.Float

floatValue() - Method in class alice.tuprolog.Double

Returns the value of the Double as float

floatValue() - Method in class alice.tuprolog.Float

Returns the value of the Float as float

floatValue() - Method in class alice.tuprolog.Int

Returns the value of the Integer as float

floatValue() - Method in class alice.tuprolog.Long

Returns the value of the Integer as float

floatValue() - Method in class alice.tuprolog.Number

Returns the value of the number as float

float_1(Number) - Method in class alice.tuprolog.lib.BasicLibrary

float_fractional_part_1(Term) - Method in class alice.tuprolog.lib.ISOLibrary

float_integer_part_1(Term) - Method in class alice.tuprolog.lib.ISOLibrary

floor_1(Term) - Method in class alice.tuprolog.lib.ISOLibrary

G

get0_1(Term) - Method in class alice.tuprolog.lib.IOLibrary

getAddress(String) - Static method in class alice.util.IPIdentifier

getArg(int) - Method in class alice.tuprolog.Struct

Gets the i-th element of this structure No bound check is done

getArg(String) - Method in class alice.tuprolog.Struct

Gets an argument inside this structure, given its name

getArity() - Method in class alice.tuprolog.Struct

Gets the number of elements of this structure

getCurrentLibraries() - Method in class alice.tuprolog.Prolog

Gets the list of current libraries loaded

getCurrentLine() - Method in class alice.tuprolog.Parser

getCurrentLine() - Method in class alice.util.StringInputStream

getCurrentOperatorList() - Method in class alice.tuprolog.Prolog

Gets the list of the operators currently defined

getCurrentPos() - Method in class alice.tuprolog.Parser

getCurrentPos() - Method in class alice.util.StringInputStream

getCurrentTerm() - Method in class alice.tuprolog.Parser

getCurrentTermType() - Method in class alice.tuprolog.Parser

getEngine() - Method in class alice.tuprolog.Library

Gets the engine to which the library is bound

getFunctors() - Method in class alice.tuprolog.Library

gets the list of functors defined in the library

getHead() - Method in class alice.util.LinkedList

getHost(String) - Static method in class alice.util.IPAddress

getHost(String) - Static method in class alice.util.IPIdentifier

getIterator(String) - Static method in class alice.tuprolog.Term

Gets an iterator providing a term stream from a source text

getLastConsultedTheory() - Method in class alice.tuprolog.Prolog

Gets last consulted theory, with the original textual format

getLibrary(String) - Method in class alice.tuprolog.Prolog

Gets the reference to a loaded library

getLibraryListenerList() - Method in class alice.tuprolog.Prolog

Gets a copy of current listener list to library events

getLibraryName() - Method in class alice.tuprolog.InvalidLibraryException

getLibraryName() - Method in class alice.tuprolog.LibraryEvent

Gets the library name (loaded or unloaded).

getLine() - Method in class alice.tuprolog.InvalidLibraryException

getLinkedMethod(Struct) - Method in class alice.tuprolog.Library

Gets the method linked to a builtin (null value if the builtin has not any linked service)

getMsg() - Method in class alice.tuprolog.OutputEvent

getMsg() - Method in class alice.tuprolog.SpyEvent

getMsg() - Method in class alice.tuprolog.WarningEvent

getName() - Method in class alice.tuprolog.Library

Gets the name of the library.

getName() - Method in class alice.tuprolog.Struct

Gets the functor name of this structure

getName() - Method in class alice.tuprolog.Var

Gets the name of the variable

getName(String) - Static method in class alice.util.IPIdentifier

getNewTheory() - Method in class alice.tuprolog.TheoryEvent

Gets the new theory

getNormalized() - Method in class alice.util.V2d

getOldTheory() - Method in class alice.tuprolog.TheoryEvent

Gets the old theory

getOperatorSynonymMap() - Method in class alice.tuprolog.Library

Gets the operator synonym mapping, as array of elements like { synonym, original operator name}

getOperatorSynonymMap() - Method in class alice.tuprolog.lib.BasicLibrary

Defines some synonyms

getOperators() - Method in class alice.tuprolog.OperatorManager

Gets the list of the operators currently defined

getOpt(String[], String) - Static method in class alice.util.Tools

give a command line argument list, this method gets the option of the specified prefix

getOutputListenerList() - Method in class alice.tuprolog.Prolog

Gets a copy of current listener list to output events

getPort(String) - Static method in class alice.util.IPAddress

getPort(String) - Static method in class alice.util.IPIdentifier

getPos() - Method in class alice.tuprolog.InvalidLibraryException

getPredicates() - Method in class alice.tuprolog.Library

gets the list of predicates defined in the library

getQuery() - Method in class alice.tuprolog.SolveInfo

Gets the query

getQueryListenerList() - Method in class alice.tuprolog.Prolog

Gets a copy of current listener list to query events

getRegisteredDynamicObject(Struct) - Method in class alice.tuprolog.lib.JavaLibrary

Gets a registered dynamic object (returns null if not presents)

getRegisteredObject(Struct) - Method in class alice.tuprolog.lib.JavaLibrary

Gets the reference to an object previously registered

getRenamedCopy(Term) - Method in class alice.tuprolog.Prolog

Gets a copy of a term with variables renamed, using current demostration context.

getRenamedCopy() - Method in class alice.tuprolog.Term

Gets a renamed copy of this term All the variables in the term are unlinked and renamed

getSolution() - Method in class alice.tuprolog.SolveInfo

Gets the solution of the request

getSolveInfo() - Method in class alice.tuprolog.QueryEvent

Gets information about the query result.

getSpyListenerList() - Method in class alice.tuprolog.Prolog

Gets a copy of current listener list to spy events

getTail() - Method in class alice.util.LinkedList

getTerm() - Method in class alice.tuprolog.NullTerm

getTerm() - Method in class alice.tuprolog.Number

Gets the actual term referred by this Term.

getTerm(String) - Method in class alice.tuprolog.SolveInfo

Gets the value of a variable in the substitution

getTerm(int) - Method in class alice.tuprolog.Struct

Gets the i-th element of this structure No bound check is done.

getTerm() - Method in class alice.tuprolog.Struct

getTerm() - Method in class alice.tuprolog.Term

Gets the actual term referred by this Term.

getTerm() - Method in class alice.tuprolog.Var

Gets the term which is referred by the variable.

getTheory() - Method in class alice.tuprolog.Library

Gets the theory provided with the library Empty theory is provided by default.

getTheory() - Method in class alice.tuprolog.Prolog

Gets current theory

getTheory() - Method in class alice.tuprolog.lib.BasicLibrary

getTheory() - Method in class alice.tuprolog.lib.IOLibrary

getTheory() - Method in class alice.tuprolog.lib.ISOLibrary

library theory

getTheory() - Method in class alice.tuprolog.lib.JavaLibrary

library theory

getTheoryListenerList() - Method in class alice.tuprolog.Prolog

Gets a copy of current listener list to theory events

getTime() - Method in class alice.tuprolog.PrologEvent

Gets the VM time of event occurrence.

getTokenizer() - Method in class alice.tuprolog.Parser

getVarValue(String) - Method in class alice.tuprolog.SolveInfo

Gets the term value bound to a variable

getVersion() - Static method in class alice.tuprolog.Prolog

Gets the current version of the tuProlog system

getWarningListenerList() - Method in class alice.tuprolog.Prolog

Gets a copy of current listener list to warning events

get_1(Term) - Method in class alice.tuprolog.lib.IOLibrary

get_operators_list_1(Struct) - Method in class alice.tuprolog.lib.BasicLibrary

get_theory_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary

gets current theory text

ground_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary

H

hasOpenAlternatives() - Method in class alice.tuprolog.Prolog

Asks for the presence of open alternatives to be explored in current demostration process.

head - Variable in class alice.util.LinkedList

head - Variable in class alice.util.LinkedQueue

queue head

I

IOLibrary - class alice.tuprolog.lib.IOLibrary.

This class provides basic I/O predicates.

IOLibrary() - Constructor for class alice.tuprolog.lib.IOLibrary

IPAddress - class alice.util.IPAddress.

this class defines services useful for managing of IP extended address: :

IPAddress() - Constructor for class alice.util.IPAddress

IPIdentifier - class alice.util.IPIdentifier.

this class defines services useful for managing of IP identifiers @:

IPIdentifier() - Constructor for class alice.util.IPIdentifier

ISOLibrary - class alice.tuprolog.lib.ISOLibrary.

This class represents a tuProlog library providing most of the built-ins predicates and functors defined by ISO standard.

ISOLibrary() - Constructor for class alice.tuprolog.lib.ISOLibrary

Int - class alice.tuprolog.Int.

Int class represents the integer prolog data type

Int(int) - Constructor for class alice.tuprolog.Int

InvalidLibraryException - exception alice.tuprolog.InvalidLibraryException.

This exception means that a not valid tuProlog library has been specified.

InvalidLibraryException() - Constructor for class alice.tuprolog.InvalidLibraryException

InvalidLibraryException(String, int, int) - Constructor for class alice.tuprolog.InvalidLibraryException

InvalidObjectIdException - exception alice.tuprolog.lib.InvalidObjectIdException.

This exception is raised when a not valid identifier is used to register an object in the JavaLibrary

InvalidObjectIdException() - Constructor for class alice.tuprolog.lib.InvalidObjectIdException

InvalidTermException - exception alice.tuprolog.InvalidTermException.

This exeption means that a not valid tuProlog term has been specified.

InvalidTermException() - Constructor for class alice.tuprolog.InvalidTermException

InvalidTheoryException - exception alice.tuprolog.InvalidTheoryException.

This exceptions means that a not valid tuProlog theory has been specified

InvalidTheoryException() - Constructor for class alice.tuprolog.InvalidTheoryException

InvalidTheoryException(int, int) - Constructor for class alice.tuprolog.InvalidTheoryException

InvalidVarNameException - exception alice.tuprolog.InvalidVarNameException.

This exeption means that a not valid tuProlog variable has been specified.

InvalidVarNameException() - Constructor for class alice.tuprolog.InvalidVarNameException

idle() - Method in class alice.util.Automaton

idle state

insFirst(Object) - Method in class alice.util.LinkedQueue

head insert

insLast(Object) - Method in class alice.util.LinkedQueue

tail instert

insert(Object) - Method in class alice.util.LinkedList

head insert

intValue() - Method in class alice.tuprolog.Double

Returns the value of the Double as int

intValue() - Method in class alice.tuprolog.Float

Returns the value of the Float as int

intValue() - Method in class alice.tuprolog.Int

Returns the value of the Integer as int

intValue() - Method in class alice.tuprolog.Long

Returns the value of the Integer as int

intValue() - Method in class alice.tuprolog.Number

Returns the value of the number as int

integer_1(Number) - Method in class alice.tuprolog.lib.BasicLibrary

isAnonymous() - Method in class alice.tuprolog.Var

Tests if this variable is ANY

isAtom() - Method in class alice.tuprolog.NullTerm

isAtom() - Method in class alice.tuprolog.Number

is this term a prolog (alphanumeric) atom?

isAtom() - Method in class alice.tuprolog.Struct

isAtom() - Method in class alice.tuprolog.Term

is this term a prolog (alphanumeric) atom?

isAtom() - Method in class alice.tuprolog.Var

isAtomic() - Method in class alice.tuprolog.NullTerm

isAtomic() - Method in class alice.tuprolog.Number

is this term a constant prolog term?

isAtomic() - Method in class alice.tuprolog.Struct

isAtomic() - Method in class alice.tuprolog.Term

is this term a constant prolog term?

isAtomic() - Method in class alice.tuprolog.Var

isBound() - Method in class alice.tuprolog.Var

Tests if this variable is bound

isClause() - Method in class alice.tuprolog.Struct

isCompound() - Method in class alice.tuprolog.NullTerm

isCompound() - Method in class alice.tuprolog.Number

is this term a prolog compound term?

isCompound() - Method in class alice.tuprolog.Struct

isCompound() - Method in class alice.tuprolog.Term

is this term a prolog compound term?

isCompound() - Method in class alice.tuprolog.Var

isEmptyList() - Method in class alice.tuprolog.Struct

Is this structure an empty list?

isEmptyList() - Method in class alice.util.LinkedList

isEmptyQueue() - Method in class alice.util.LinkedQueue

isEqual(Term) - Method in class alice.tuprolog.Double

Returns true if this Double term is equal that the term provided.

isEqual(Term) - Method in class alice.tuprolog.Float

Returns true if this Float term is equal that the term provided.

isEqual(Term) - Method in class alice.tuprolog.Int

Returns true if this integer term is equal that the term provided.

isEqual(Term) - Method in class alice.tuprolog.Long

Returns true if this integer term is equal that the term provided.

isEqual(Term) - Method in class alice.tuprolog.NullTerm

isEqual(Term) - Method in class alice.tuprolog.Struct

isEqual(Term) - Method in class alice.tuprolog.Term

Tests if this term is (logically) equal to another

isEqual(Term) - Method in class alice.tuprolog.Var

isGreater(Term) - Method in class alice.tuprolog.Double

Returns true if this Double term is grater that the term provided.

isGreater(Term) - Method in class alice.tuprolog.Float

Returns true if this Float term is grater that the term provided.

isGreater(Term) - Method in class alice.tuprolog.Int

Returns true if this integer term is grater that the term provided.

isGreater(Term) - Method in class alice.tuprolog.Long

Returns true if this integer term is grater that the term provided.

isGreater(Term) - Method in class alice.tuprolog.NullTerm

isGreater(Term) - Method in class alice.tuprolog.Struct

isGreater(Term) - Method in class alice.tuprolog.Term

is term greater than term t?

isGreater(Term) - Method in class alice.tuprolog.Var

isGround() - Method in class alice.tuprolog.NullTerm

isGround() - Method in class alice.tuprolog.Number

is this term a ground term?

isGround() - Method in class alice.tuprolog.Struct

isGround() - Method in class alice.tuprolog.Term

is this term a ground term?

isGround() - Method in class alice.tuprolog.Var

isHalted() - Method in class alice.tuprolog.Prolog

Checks if the demonstration process was stopped by an halt command.

isInteger() - Method in class alice.tuprolog.Double

is this term a prolog integer term?

isInteger() - Method in class alice.tuprolog.Float

is this term a prolog integer term?

isInteger() - Method in class alice.tuprolog.Int

is this term a prolog integer term?

isInteger() - Method in class alice.tuprolog.Long

is this term a prolog integer term?

isInteger() - Method in class alice.tuprolog.Number

is this term a prolog integer term?

isList() - Method in class alice.tuprolog.NullTerm

isList() - Method in class alice.tuprolog.Number

is this term a prolog list?

isList() - Method in class alice.tuprolog.Struct

isList() - Method in class alice.tuprolog.Term

is this term a prolog list?

isList() - Method in class alice.tuprolog.Var

isNull() - Method in class alice.tuprolog.NullTerm

isNull() - Method in class alice.tuprolog.Number

isNull() - Method in class alice.tuprolog.Struct

isNull() - Method in class alice.tuprolog.Term

is this term a null term?

isNull() - Method in class alice.tuprolog.Var

isNumber() - Method in class alice.tuprolog.NullTerm

is this term a prolog numeric term?

isNumber() - Method in class alice.tuprolog.Number

is this term a prolog numeric term?

isNumber() - Method in class alice.tuprolog.Struct

is this term a prolog numeric term?

isNumber() - Method in class alice.tuprolog.Term

is this term a prolog numeric term?

isNumber() - Method in class alice.tuprolog.Var

is this term a prolog numeric term?

isOpt(String[], String) - Static method in class alice.util.Tools

give a command line argument list, this method tests for the presence of the option of the specified prefix

isReal() - Method in class alice.tuprolog.Double

is this term a prolog real term?

isReal() - Method in class alice.tuprolog.Float

is this term a prolog real term?

isReal() - Method in class alice.tuprolog.Int

is this term a prolog real term?

isReal() - Method in class alice.tuprolog.Long

is this term a prolog real term?

isReal() - Method in class alice.tuprolog.Number

is this term a prolog real term?

isResolved() - Method in class alice.tuprolog.Var

Tests if this variable is resolved

isSpy() - Method in class alice.tuprolog.Prolog

Checks the spy state of the engine

isStruct() - Method in class alice.tuprolog.NullTerm

is this term a struct

isStruct() - Method in class alice.tuprolog.Number

is this term a struct

isStruct() - Method in class alice.tuprolog.Struct

is this term a struct

isStruct() - Method in class alice.tuprolog.Term

is this term a struct?

isStruct() - Method in class alice.tuprolog.Var

is this term a struct

isSuccess() - Method in class alice.tuprolog.SolveInfo

Checks if the solve request was successful

isTypeDouble() - Method in class alice.tuprolog.Double

is a double Real number?

isTypeDouble() - Method in class alice.tuprolog.Float

is a double Real number?

isTypeDouble() - Method in class alice.tuprolog.Int

is a double Real number?

isTypeDouble() - Method in class alice.tuprolog.Long

is a double Real number?

isTypeDouble() - Method in class alice.tuprolog.Number

is a double Real number?

isTypeFloat() - Method in class alice.tuprolog.Double

is a float Real number?

isTypeFloat() - Method in class alice.tuprolog.Float

is a float Real number?

isTypeFloat() - Method in class alice.tuprolog.Int

is a float Real number?

isTypeFloat() - Method in class alice.tuprolog.Long

is a float Real number?

isTypeFloat() - Method in class alice.tuprolog.Number

is a float Real number?

isTypeInt() - Method in class alice.tuprolog.Double

is an int Integer number?

isTypeInt() - Method in class alice.tuprolog.Float

is an int Integer number?

isTypeInt() - Method in class alice.tuprolog.Int

is an int Integer number?

isTypeInt() - Method in class alice.tuprolog.Long

is an int Integer number?

isTypeInt() - Method in class alice.tuprolog.Number

is an int Integer number?

isTypeLong() - Method in class alice.tuprolog.Double

is a long Integer number?

isTypeLong() - Method in class alice.tuprolog.Float

is a long Integer number?

isTypeLong() - Method in class alice.tuprolog.Int

is a long Integer number?

isTypeLong() - Method in class alice.tuprolog.Long

is a long Integer number?

isTypeLong() - Method in class alice.tuprolog.Number

is a long Integer number?

isVar() - Method in class alice.tuprolog.NullTerm

is this term a variable

isVar() - Method in class alice.tuprolog.Number

is this term a variable

isVar() - Method in class alice.tuprolog.Struct

is this term a variable

isVar() - Method in class alice.tuprolog.Term

is this term a variable?

isVar() - Method in class alice.tuprolog.Var

is this term a variable

isWarning() - Method in class alice.tuprolog.Prolog

Checks if warning information are notified

J

JavaLibrary - class alice.tuprolog.lib.JavaLibrary.

This class represents a tuProlog library enabling the interaction with the Java environment from tuProlog.

JavaLibrary() - Constructor for class alice.tuprolog.lib.JavaLibrary

java_array_get_primitive_3(Struct, Number, Term) - Method in class alice.tuprolog.lib.JavaLibrary

java_array_set_primitive_3(Struct, Number, Term) - Method in class alice.tuprolog.lib.JavaLibrary

java_call_3(Term, Struct, Term) - Method in class alice.tuprolog.lib.JavaLibrary

Calls a method of a Java object

java_class_4(Struct, Struct, Struct, Term) - Method in class alice.tuprolog.lib.JavaLibrary

Creates of a java class

java_object_3(Term, Struct, Term) - Method in class alice.tuprolog.lib.JavaLibrary

Creates of a java object - not backtrackable case

L

Library - class alice.tuprolog.Library.

This abstract class is the base class for developing tuProlog built-in libraries, which can be dynamically loaded by prolog objects.

Library() - Constructor for class alice.tuprolog.Library

LibraryEvent - class alice.tuprolog.LibraryEvent.

This class represents events concerning library management.

LibraryEvent(Prolog, String) - Constructor for class alice.tuprolog.LibraryEvent

LibraryListener - interface alice.tuprolog.LibraryListener.

Listener for library events

LinkedList - class alice.util.LinkedList.

prolog/lisp style list, with in evidence head and tail

LinkedList() - Constructor for class alice.util.LinkedList

empty list

LinkedList(Object, LinkedList) - Constructor for class alice.util.LinkedList

list from head and tail

LinkedQueue - class alice.util.LinkedQueue.

classic queue managed with head and tail references

LinkedQueue() - Constructor for class alice.util.LinkedQueue

build an empty queue

Long - class alice.tuprolog.Long.

Long class represents the long prolog data type

Long(long) - Constructor for class alice.tuprolog.Long

length() - Method in class alice.util.LinkedList

length() - Method in class alice.util.LinkedQueue

libraryLoaded(LibraryEvent) - Method in interface alice.tuprolog.LibraryListener

libraryLoaded(LibraryEvent) - Method in class alice.tuprolog.PrologEventAdapter

libraryLoaded(LibraryEvent) - Method in interface alice.tuprolog.PrologEventListener

libraryUnloaded(LibraryEvent) - Method in interface alice.tuprolog.LibraryListener

libraryUnloaded(LibraryEvent) - Method in class alice.tuprolog.PrologEventAdapter

libraryUnloaded(LibraryEvent) - Method in interface alice.tuprolog.PrologEventListener

line - Variable in class alice.tuprolog.InvalidTheoryException

listHead() - Method in class alice.tuprolog.Struct

Gets the head of this structure supposed to be a list

listIterator() - Method in class alice.tuprolog.Struct

Gets an iterator on the elements of this structure supposed to be a list

listSize() - Method in class alice.tuprolog.Struct

Gets the number of elements of this structure supposed to be a list

listTail() - Method in class alice.tuprolog.Struct

Gets the tail of this structure supposed to be alist

list_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary

loadLibrary(String) - Method in class alice.tuprolog.Prolog

Loads a library.

loadLibrary(Library) - Method in class alice.tuprolog.Prolog

Loads a specific instance of a library If a library with the same name is already present, a warning event is notified

loadText(String) - Static method in class alice.util.Tools

loads a text file and returns its content as string

loadText(InputStream) - Static method in class alice.util.Tools

loads a text file from an InputStream

load_library_2(Struct, Term) - Method in class alice.tuprolog.lib.BasicLibrary

log_1(Term) - Method in class alice.tuprolog.lib.ISOLibrary

longValue() - Method in class alice.tuprolog.Double

Returns the value of the Double as long

longValue() - Method in class alice.tuprolog.Float

Returns the value of the Float as long

longValue() - Method in class alice.tuprolog.Int

Returns the value of the Integer as long

longValue() - Method in class alice.tuprolog.Long

Returns the value of the Integer as long

longValue() - Method in class alice.tuprolog.Number

Returns the value of the number as long

M

MalformedGoalException - exception alice.tuprolog.MalformedGoalException.

This exception means that a not well formed goal has been specified.

MalformedGoalException() - Constructor for class alice.tuprolog.MalformedGoalException

main(String[]) - Static method in class alice.tuprolog.Agent

main(String[]) - Static method in class alice.util.Sleep

match(Term) - Method in class alice.tuprolog.Term

Tests if this term is unifiable with an other term.

mod_2(Term, Term) - Method in class alice.tuprolog.lib.ISOLibrary

mul(float) - Method in class alice.util.V2d

N

NULL_TERM - Static variable in class alice.tuprolog.NullTerm

NoHaltException - exception alice.tuprolog.NoHaltException.

This exception is raised when an halt code is requested and no halt predicate has been issued

NoHaltException() - Constructor for class alice.tuprolog.NoHaltException

NoMoreSolutionException - exception alice.tuprolog.NoMoreSolutionException.

This exception means that other solutions are asked but actually no other ones exist.

NoMoreSolutionException() - Constructor for class alice.tuprolog.NoMoreSolutionException

NoSolutionException - exception alice.tuprolog.NoSolutionException.

This exception means that a solution is asked, but actually none exists

NoSolutionException() - Constructor for class alice.tuprolog.NoSolutionException

NullTerm - class alice.tuprolog.NullTerm.

tuProlog Null Term, used only for implementation purpose.

Number - class alice.tuprolog.Number.

Number abstract class represents numbers prolog data type

Number() - Constructor for class alice.tuprolog.Number

name - Variable in class alice.tuprolog.Operator

operator name

newQueryResultAvailable(QueryEvent) - Method in class alice.tuprolog.PrologEventAdapter

newQueryResultAvailable(QueryEvent) - Method in interface alice.tuprolog.PrologEventListener

newQueryResultAvailable(QueryEvent) - Method in interface alice.tuprolog.QueryListener

nl_0() - Method in class alice.tuprolog.lib.IOLibrary

nonvar_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary

nospy_0() - Method in class alice.tuprolog.lib.BasicLibrary

nowarning_0() - Method in class alice.tuprolog.lib.BasicLibrary

num_atom_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary

number_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary

O

OP_HIGH - Static variable in class alice.tuprolog.OperatorManager

highest operator priority

OP_LOW - Static variable in class alice.tuprolog.OperatorManager

lowest operator priority

Operator - class alice.tuprolog.Operator.

This class defines a tuProlog operator, in terms of a name, a type, and a priority.

OperatorManager - class alice.tuprolog.OperatorManager.

This class manages prolog operators

OperatorManager() - Constructor for class alice.tuprolog.OperatorManager

OutputEvent - class alice.tuprolog.OutputEvent.

This class defines an output event (after a write operation, for instance) generated by the prolog core

OutputEvent(Object, String) - Constructor for class alice.tuprolog.OutputEvent

OutputListener - interface alice.tuprolog.OutputListener.

This interface defines the method handling output event generated by a prolog engine

onOutput(OutputEvent) - Method in interface alice.tuprolog.OutputListener

onSolveBegin(Term) - Method in class alice.tuprolog.Library

method invoked when the engine is going to demonstrate a goal

onSolveBegin(Term) - Method in class alice.tuprolog.lib.JavaLibrary

onSolveEnd() - Method in class alice.tuprolog.Library

method invoked when the engine has finished a demostration

onSolveEnd() - Method in class alice.tuprolog.lib.JavaLibrary

onSpy(SpyEvent) - Method in interface alice.tuprolog.SpyListener

onWarning(WarningEvent) - Method in interface alice.tuprolog.WarningListener

opNew(String, String, int) - Method in class alice.tuprolog.OperatorManager

Creates a new operator If the operator is already provided, it replaces it with the new one

opNext(int) - Method in class alice.tuprolog.OperatorManager

Gets the priority nearest (lower) to the priority of a defined operator

opPrio(String, String) - Method in class alice.tuprolog.OperatorManager

Gets the priority of an operator (OP_LOW if the operator is not defined)

P

P2d - class alice.util.P2d.

2-dimensional point objects are completely state-less

P2d(float, float) - Constructor for class alice.util.P2d

Parser - class alice.tuprolog.Parser.

This class defines a parser of prolog terms and sentences.

Parser(OperatorManager, String) - Constructor for class alice.tuprolog.Parser

creating a Parser specifing how to handle operators and what text to parse

Parser(String) - Constructor for class alice.tuprolog.Parser

creating a parser with default operator interpretation

Prolog - class alice.tuprolog.Prolog.

The Prolog class represents a tuProlog engine.

Prolog() - Constructor for class alice.tuprolog.Prolog

Builds a prolog engine with default libraries loaded.

Prolog(String[]) - Constructor for class alice.tuprolog.Prolog

Builds a tuProlog engine with loaded the specified libraries

PrologEvent - class alice.tuprolog.PrologEvent.

Base class for engine event

PrologEvent(Prolog) - Constructor for class alice.tuprolog.PrologEvent

PrologEventAdapter - class alice.tuprolog.PrologEventAdapter.

PrologEventAdapter() - Constructor for class alice.tuprolog.PrologEventAdapter

PrologEventListener - interface alice.tuprolog.PrologEventListener.

Listener for Prolog events

PrologException - exception alice.tuprolog.PrologException.

Base class for tuProlog exceptions.

PrologException() - Constructor for class alice.tuprolog.PrologException

PrologException(String) - Constructor for class alice.tuprolog.PrologException

parse(String) - Static method in class alice.tuprolog.Term

Static service to parse a Term from a string.

parse(String, OperatorManager) - Static method in class alice.tuprolog.Term

Parse a Term from a string.

pos - Variable in class alice.tuprolog.InvalidTheoryException

print_1(Term) - Method in class alice.tuprolog.lib.IOLibrary

prio - Variable in class alice.tuprolog.Operator

priority

put_1(Struct) - Method in class alice.tuprolog.lib.IOLibrary

Q

QueryEvent - class alice.tuprolog.QueryEvent.

This class represents events concerning query management.

QueryEvent(Prolog, SolveInfo) - Constructor for class alice.tuprolog.QueryEvent

QueryListener - interface alice.tuprolog.QueryListener.

Listener for query events

R

rand_float_1(Term) - Method in class alice.tuprolog.lib.IOLibrary

rand_int_2(Number, Term) - Method in class alice.tuprolog.lib.IOLibrary

read() - Method in class alice.util.StringInputStream

read a char

readTerm(boolean) - Method in class alice.tuprolog.Parser

Parses next term from the stream built on string.

read_1(Term) - Method in class alice.tuprolog.lib.IOLibrary

register(Struct, Object) - Method in class alice.tuprolog.lib.JavaLibrary

Register an object with the specified id.

register(Object) - Method in class alice.tuprolog.lib.JavaLibrary

Registers an object, with automatic creation of the identifier.

registerDynamic(Struct, Object) - Method in class alice.tuprolog.lib.JavaLibrary

Registers an object only for the running query life-time

registerDynamic(Object) - Method in class alice.tuprolog.lib.JavaLibrary

Registers an object for the query life-time, with the automatic generation of the identifier.

remFirst() - Method in class alice.util.LinkedQueue

remove the first element

rem_2(Term, Term) - Method in class alice.tuprolog.lib.ISOLibrary

removeAllOutputListener() - Method in class alice.tuprolog.Agent

Removes all output event listeners

removeAllOutputListeners() - Method in class alice.tuprolog.Prolog

Removes all output event listeners

removeAllSpyListeners() - Method in class alice.tuprolog.Prolog

Removes all spy event listeners

removeAllWarningListeners() - Method in class alice.tuprolog.Prolog

Removes all warning event listeners

removeApices(String) - Static method in class alice.util.Tools

removeLibraryListener(LibraryListener) - Method in class alice.tuprolog.Prolog

Removes a listener to library events

removeOutputListener(OutputListener) - Method in class alice.tuprolog.Agent

Removes a listener to ouput events

removeOutputListener(OutputListener) - Method in class alice.tuprolog.Prolog

Removes a listener to ouput events

removeQueryListener(QueryListener) - Method in class alice.tuprolog.Prolog

Removes a listener to query events

removeSpyListener(SpyListener) - Method in class alice.tuprolog.Prolog

Removes a listener to spy events

removeTheoryListener(TheoryListener) - Method in class alice.tuprolog.Prolog

Removes a listener to theory events

removeWarningListener(WarningListener) - Method in class alice.tuprolog.Prolog

Removes a listener to warning events

reset() - Method in class alice.util.StringInputStream

resolveVariables() - Method in class alice.tuprolog.Term

Resolves variables inside the term If the variables has been already resolved, no renaming is done.

round_1(Term) - Method in class alice.tuprolog.lib.ISOLibrary

run() - Method in class alice.util.Automaton

S

Sleep - class alice.util.Sleep.

Sleep() - Constructor for class alice.util.Sleep

SolveInfo - class alice.tuprolog.SolveInfo.

SolveInfo class represents the result of a solve request made to the engine, providing information about the solution

SpyEvent - class alice.tuprolog.SpyEvent.

This class defines an internal event generated by the prolog core

SpyEvent(Object, String) - Constructor for class alice.tuprolog.SpyEvent

SpyListener - interface alice.tuprolog.SpyListener.

This interface defines the method handling internal event generated by a prolog engine

StringInputStream - class alice.util.StringInputStream.

managing a String or other InputStream as a character source

StringInputStream(String) - Constructor for class alice.util.StringInputStream

Struct - class alice.tuprolog.Struct.

Struct class represents both compound prolog term and atom term (considered as 0-arity compound).

Struct(String) - Constructor for class alice.tuprolog.Struct

Builds a Struct representing an atom

Struct(String, Term) - Constructor for class alice.tuprolog.Struct

Builds a compound, with one argument

Struct(String, Term, Term) - Constructor for class alice.tuprolog.Struct

Builds a compound, with two arguments

Struct(String, Term, Term, Term) - Constructor for class alice.tuprolog.Struct

Builds a compound, with three arguments

Struct(String, Term, Term, Term, Term) - Constructor for class alice.tuprolog.Struct

Builds a compound, with four arguments

Struct(String, Term, Term, Term, Term, Term) - Constructor for class alice.tuprolog.Struct

Builds a compound, with five arguments

Struct(String, Term, Term, Term, Term, Term, Term) - Constructor for class alice.tuprolog.Struct

Builds a compound, with six arguments

Struct(String, Term, Term, Term, Term, Term, Term, Term) - Constructor for class alice.tuprolog.Struct

Builds a compound, with seven arguments

Struct(String, Term[]) - Constructor for class alice.tuprolog.Struct

Builds a compound, with an array of arguments

Struct() - Constructor for class alice.tuprolog.Struct

Builds a structure representing an empty list

Struct(Term, Term) - Constructor for class alice.tuprolog.Struct

Builds a list providing head and tail

Struct(Term[]) - Constructor for class alice.tuprolog.Struct

Builds a list specifying the elements

see_1(Struct) - Method in class alice.tuprolog.lib.IOLibrary

seeing_1(Term) - Method in class alice.tuprolog.lib.IOLibrary

seek(int) - Method in class alice.util.StringInputStream

go to n-th char

seen_0() - Method in class alice.tuprolog.lib.IOLibrary

setSpy(boolean) - Method in class alice.tuprolog.Prolog

Switches on/off the notification of spy information events

setTheory(Theory) - Method in class alice.tuprolog.Prolog

Sets a new theory

setWarning(boolean) - Method in class alice.tuprolog.Prolog

Switches on/off the notification of warning information events

set_theory_1(Struct) - Method in class alice.tuprolog.lib.BasicLibrary

sets a new theory provided as a text

sign_1(Term) - Method in class alice.tuprolog.lib.ISOLibrary

sin_1(Term) - Method in class alice.tuprolog.lib.ISOLibrary

skip() - Method in class alice.tuprolog.Parser

goes to EOF

solve(Term) - Method in class alice.tuprolog.Prolog

Solves a query

solve(String) - Method in class alice.tuprolog.Prolog

Solves a query

solveEnd() - Method in class alice.tuprolog.Prolog

Accepts current solution

solveHalt() - Method in class alice.tuprolog.Prolog

Halts current solve computation

solveNext() - Method in class alice.tuprolog.Prolog

Gets next solution

spawn() - Method in class alice.tuprolog.Agent

Starts agent execution

spy_0() - Method in class alice.tuprolog.lib.BasicLibrary

sqrt_1(Term) - Method in class alice.tuprolog.lib.ISOLibrary

stdOutput(String) - Method in class alice.tuprolog.Prolog

Produces an output information event

sub(P2d) - Method in class alice.util.P2d

sum(V2d) - Method in class alice.util.P2d

sum(V2d) - Method in class alice.util.V2d

T

TERM - Static variable in class alice.tuprolog.Parser

TRUE - Static variable in class alice.tuprolog.Term

Term - class alice.tuprolog.Term.

Term class is the root abstract class for prolog data type

Term() - Constructor for class alice.tuprolog.Term

Theory - class alice.tuprolog.Theory.

This class represents prolog theory which can be provided to a prolog engine.

Theory(InputStream) - Constructor for class alice.tuprolog.Theory

Creates a theory getting its source text from an input stream

Theory(String) - Constructor for class alice.tuprolog.Theory

Creates a theory from its source text

Theory(Struct) - Constructor for class alice.tuprolog.Theory

Creates a theory from a clause list

TheoryEvent - class alice.tuprolog.TheoryEvent.

This class represents events occurring in theory management.

TheoryEvent(Prolog, Theory, Theory) - Constructor for class alice.tuprolog.TheoryEvent

TheoryListener - interface alice.tuprolog.TheoryListener.

Listener for theory events

Tools - class alice.util.Tools.

miscellaneous static services

Tools() - Constructor for class alice.util.Tools

tab_1(Number) - Method in class alice.tuprolog.lib.IOLibrary

tail - Variable in class alice.util.LinkedList

tail - Variable in class alice.util.LinkedQueue

queue tail

tell_1(Struct) - Method in class alice.tuprolog.lib.IOLibrary

telling_1(Term) - Method in class alice.tuprolog.lib.IOLibrary

term_equality_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary

term_greater_than_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary

term_less_than_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary

text_concat_3(Term, Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary

text_from_file_2(Struct, Term) - Method in class alice.tuprolog.lib.IOLibrary

reads a source text from a file.

text_term_2(Term, Term) - Method in class alice.tuprolog.lib.BasicLibrary

bidirectional text/term conversion.

theoryChanged(TheoryEvent) - Method in class alice.tuprolog.PrologEventAdapter

theoryChanged(TheoryEvent) - Method in interface alice.tuprolog.PrologEventListener

theoryChanged(TheoryEvent) - Method in interface alice.tuprolog.TheoryListener

toList() - Method in class alice.util.LinkedList

toList() - Method in class alice.util.LinkedQueue

toString() - Method in class alice.tuprolog.Double

toString() - Method in class alice.tuprolog.Float

toString() - Method in class alice.tuprolog.Int

toString() - Method in class alice.tuprolog.InvalidLibraryException

toString() - Method in class alice.tuprolog.Long

toString(Term) - Method in class alice.tuprolog.Prolog

Gets the string representation of a term, using operators currently defined by engine

toString() - Method in class alice.tuprolog.SolveInfo

Returns the string representation of the result of the demonstration.

toString() - Method in class alice.tuprolog.SpyEvent

toString() - Method in class alice.tuprolog.Struct

Gets the string representation of this structure Specific representations are provided for lists and atoms.

toString() - Method in class alice.tuprolog.Theory

toString() - Method in class alice.tuprolog.Var

Gets the string representation of this variable.

toString() - Method in class alice.util.P2d

toString() - Method in class alice.util.V2d

toStringFlattened() - Method in class alice.tuprolog.Var

Gets the string representation of this variable, providing the string representation of the linked term in the case of bound variable

toTerm(String) - Static method in class alice.tuprolog.Parser

Static service to get a term from its string representation

toTerm(String, OperatorManager) - Static method in class alice.tuprolog.Parser

Static service to get a term from its string representation, providing a specific operator manager

toTerm(String) - Method in class alice.tuprolog.Prolog

Gets a term from a string, using the operators currently defined by the engine

toVarArray() - Method in class alice.tuprolog.SolveInfo

Gets the list of the variables in the solution.

told_0() - Method in class alice.tuprolog.lib.IOLibrary

truncate_1(Term) - Method in class alice.tuprolog.lib.ISOLibrary

type - Variable in class alice.tuprolog.Operator

type(xf,yf,fx,fy,xfx,xfy,yfy,yfx

U

UnknownVarException - exception alice.tuprolog.UnknownVarException.

This exception means that a not well formed goal has been specified.

UnknownVarException() - Constructor for class alice.tuprolog.UnknownVarException

unify(Term, Term) - Method in class alice.tuprolog.Prolog

Unifies two terms using current demonstration context.

unify(Term) - Method in class alice.tuprolog.Term

Tries to unify two terms The unification is done outside a demonstration context.

unloadLibrary(String) - Method in class alice.tuprolog.Prolog

Unloads a previously loaded library

unregister(Struct) - Method in class alice.tuprolog.lib.JavaLibrary

Unregisters an object, given its identifier

unregisterDynamic(Struct) - Method in class alice.tuprolog.lib.JavaLibrary

Unregister the object, only for dynamic case

V

V2d - class alice.util.V2d.

2-dimensional vector objects are completely state-less

V2d(float, float) - Constructor for class alice.util.V2d

Var - class alice.tuprolog.Var.

This class represents a variable term.

Var(String) - Constructor for class alice.tuprolog.Var

Creates a variable identified by a name.

Var() - Constructor for class alice.tuprolog.Var

Creates an anonymous variable This is equivalent to build a variable with name _

var_1(Term) - Method in class alice.tuprolog.lib.BasicLibrary

W

WarningEvent - class alice.tuprolog.WarningEvent.

This class defines an event defining a warning emitted by a prolog engine

WarningEvent(Object, String) - Constructor for class alice.tuprolog.WarningEvent

WarningListener - interface alice.tuprolog.WarningListener.

This interface defines the method handling a warning generated by a prolog engine

warn(String) - Method in class alice.tuprolog.Prolog

Notifies a warn information event

warning_0() - Method in class alice.tuprolog.lib.BasicLibrary

write_1(Term) - Method in class alice.tuprolog.lib.IOLibrary

X

x - Variable in class alice.util.P2d

x - Variable in class alice.util.V2d

Y

y - Variable in class alice.util.P2d

y - Variable in class alice.util.V2d

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