Prolog Cafe v1.2
A B C D E F G H I J L M N O P R S T U V W X

A

abs() - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
 
abs() - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
abs() - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is abs(this).
acos() - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
 
acos() - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
acos() - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is acos(this).
add(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
 
add(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
add(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is (this + t).
AFTER - Static variable in class jp.ac.kobe_u.cs.prolog.lang.Term
Holds an integer value 1.
and(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
Throws a type_error.
and(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
and(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is (this & t).
aregs - Variable in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Argument registers
argNo - Variable in exception jp.ac.kobe_u.cs.prolog.lang.BuiltinException
Holds the arity of goal in which this exception occurs.
args - Variable in class jp.ac.kobe_u.cs.prolog.lang.StructureTerm
Holds the argument terms of this StructureTerm.
args() - Method in class jp.ac.kobe_u.cs.prolog.lang.StructureTerm
Returns the argument terms of this StructureTerm.
arithCompareTo(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
 
arithCompareTo(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
arithCompareTo(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Compares two NumberTerm objects numerically.
Arithmetic - Class in jp.ac.kobe_u.cs.prolog.lang
The Arithmetic class contains a method for evaluating arithmetic expressions.
Arithmetic() - Constructor for class jp.ac.kobe_u.cs.prolog.lang.Arithmetic
 
arithmeticCompilation - Variable in class jp.ac.kobe_u.cs.prolog.compiler.Compiler
Compiler option for arithmetic compilation.
arity() - Method in class jp.ac.kobe_u.cs.prolog.lang.Failure
Returns 0.
arity() - Method in class jp.ac.kobe_u.cs.prolog.lang.Predicate
Returns the arity of this predicate.
arity - Variable in class jp.ac.kobe_u.cs.prolog.lang.StructureTerm
Holds the arity of this StructureTerm.
arity() - Method in class jp.ac.kobe_u.cs.prolog.lang.StructureTerm
Returns the arity of this StructureTerm.
arity() - Method in class jp.ac.kobe_u.cs.prolog.lang.Success
Returns 0.
arity - Variable in class jp.ac.kobe_u.cs.prolog.lang.SymbolTerm
Holds the arity of this SymbolTerm.
arity() - Method in class jp.ac.kobe_u.cs.prolog.lang.SymbolTerm
Returns the arity of this SymbolTerm.
asin() - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
 
asin() - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
asin() - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is asin(this).
atan() - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
 
atan() - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
atan() - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is tan(this).

B

B0 - Variable in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Cut pointer
BEFORE - Static variable in class jp.ac.kobe_u.cs.prolog.lang.Term
Holds an integer value -1.
bind(Term, Trail) - Method in class jp.ac.kobe_u.cs.prolog.lang.VariableTerm
Binds this variable to a given term.
BlockPredicate - Class in jp.ac.kobe_u.cs.prolog.lang
The BlockPredicate class is used to implement builtin-predicates.
BlockPredicate() - Constructor for class jp.ac.kobe_u.cs.prolog.lang.BlockPredicate
 
bounded - Variable in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Not supported yet.
buffer - Variable in class jp.ac.kobe_u.cs.prolog.lang.CPFStack
An array of choice point frames.
buffer - Variable in class jp.ac.kobe_u.cs.prolog.lang.InternalDatabase
An array of Term entries.
buffer - Variable in class jp.ac.kobe_u.cs.prolog.lang.PushDownList
An array of Term entries.
buffer - Variable in class jp.ac.kobe_u.cs.prolog.lang.Trail
An array of Undoable entries.
BuiltinException - Exception in jp.ac.kobe_u.cs.prolog.lang
Builtin exception.
BuiltinException() - Constructor for exception jp.ac.kobe_u.cs.prolog.lang.BuiltinException
Constructs a new BuiltinException.
BuiltinException(Term) - Constructor for exception jp.ac.kobe_u.cs.prolog.lang.BuiltinException
Constructs a new BuiltinException with a given message term.

C

c - Variable in class jp.ac.kobe_u.cs.prolog.lang.Failure
Prolog thread that this Failure belongs to.
c - Variable in class jp.ac.kobe_u.cs.prolog.lang.Success
Prolog thread that this Success belongs to.
call() - Method in class jp.ac.kobe_u.cs.prolog.lang.PrologControl
Returns true if the system succeeds to find a first solution of the goal, false otherwise.
car - Variable in class jp.ac.kobe_u.cs.prolog.lang.ListTerm
Holds the first element of this ListTerm.
car() - Method in class jp.ac.kobe_u.cs.prolog.lang.ListTerm
Returns the value of car.
cdr - Variable in class jp.ac.kobe_u.cs.prolog.lang.ListTerm
Holds the list consisting of all the rest of the elements of this ListTerm but the first one.
cdr() - Method in class jp.ac.kobe_u.cs.prolog.lang.ListTerm
Returns the value of cdr.
ceil() - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
 
ceil() - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
ceil() - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is ceil(this).
charConversion - Variable in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Not supported yet.
checkParameterTypes(Class[], Term[]) - Method in class jp.ac.kobe_u.cs.prolog.lang.JavaPredicate
Checks whether all terms in args are convertible to the corresponding Java types in paraTypes.
clazz - Variable in class jp.ac.kobe_u.cs.prolog.lang.JavaObjectTerm
Holds a java.lang.Class of object wrapped by this JavaObjectTerm.
ClosureTerm - Class in jp.ac.kobe_u.cs.prolog.lang
Closure.
ClosureTerm(Predicate) - Constructor for class jp.ac.kobe_u.cs.prolog.lang.ClosureTerm
Constructs a new closure structure for the given Prolog goal.
code - Variable in class jp.ac.kobe_u.cs.prolog.lang.ClosureTerm
Holds a Predicate object that represents a Prolog goal.
code - Variable in class jp.ac.kobe_u.cs.prolog.lang.PrologControl
Holds a Prolog goal to be executed.
compareTo(Term) - Method in class jp.ac.kobe_u.cs.prolog.lang.ClosureTerm
Compares two terms in Prolog standard order of terms.
compareTo(Term) - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
Compares two terms in Prolog standard order of terms.
compareTo(Term) - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
Compares two terms in Prolog standard order of terms.
compareTo(Term) - Method in class jp.ac.kobe_u.cs.prolog.lang.JavaObjectTerm
Compares two terms in Prolog standard order of terms.
compareTo(Term) - Method in class jp.ac.kobe_u.cs.prolog.lang.ListTerm
Compares two terms in Prolog standard order of terms.
compareTo(Term) - Method in class jp.ac.kobe_u.cs.prolog.lang.StructureTerm
Compares two terms in Prolog standard order of terms.
compareTo(Term) - Method in class jp.ac.kobe_u.cs.prolog.lang.SymbolTerm
Compares two terms in Prolog standard order of terms.
compareTo(Term) - Method in class jp.ac.kobe_u.cs.prolog.lang.VariableTerm
Compares two terms in Prolog standard order of terms.
Compiler - Class in jp.ac.kobe_u.cs.prolog.compiler
The Compiler class provides methods for translating Prolog programs into Java programs.
Compiler() - Constructor for class jp.ac.kobe_u.cs.prolog.compiler.Compiler
 
cont - Variable in class jp.ac.kobe_u.cs.prolog.lang.Predicate
Holds a continuation goal
cont - Variable in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Continuation goal register
cont() - Method in class jp.ac.kobe_u.cs.prolog.lang.PrologControl
Forces the thread to continue the execution.
control - Variable in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Prolog thread
convertible(Class) - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
 
convertible(Class) - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
convertible(Class) - Method in class jp.ac.kobe_u.cs.prolog.lang.JavaObjectTerm
Check whether the wrapped object is convertible with the given Java class type.
convertible(Class) - Method in class jp.ac.kobe_u.cs.prolog.lang.ListTerm
 
convertible(Class) - Method in class jp.ac.kobe_u.cs.prolog.lang.SymbolTerm
 
convertible(Class) - Method in class jp.ac.kobe_u.cs.prolog.lang.Term
Check whether this object is convertible with the given Java class type.
convertible(Class, Class<?>) - Static method in class jp.ac.kobe_u.cs.prolog.lang.Term
Check whether there is a widening conversion from from to to.
convertible(Class) - Method in class jp.ac.kobe_u.cs.prolog.lang.VariableTerm
Checks whether this object is convertible with the given Java class type if this variable is unbound.
copy(Prolog) - Method in class jp.ac.kobe_u.cs.prolog.lang.ListTerm
 
copy(Term) - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Returns a copy of term t.
copy(Prolog) - Method in class jp.ac.kobe_u.cs.prolog.lang.StructureTerm
 
copy(Prolog) - Method in class jp.ac.kobe_u.cs.prolog.lang.Term
Returns a copy of this object.
copy(Prolog) - Method in class jp.ac.kobe_u.cs.prolog.lang.VariableTerm
Returns a copy of this object if unbound variable.
copyHash - Variable in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Hashtable for creating a copy of term.
COPYRIGHT - Static variable in class jp.ac.kobe_u.cs.prolog.compiler.Compiler
Copyright information
COPYRIGHT - Static variable in class jp.ac.kobe_u.cs.prolog.lang.PrologMain
Copyright information
cos() - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
 
cos() - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
cos() - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is cos(this).
CPFStack - Class in jp.ac.kobe_u.cs.prolog.lang
Choice point frame stack.
CPFStack(Prolog) - Constructor for class jp.ac.kobe_u.cs.prolog.lang.CPFStack
Constructs a new choice point frame stack.
CPFStack(Prolog, int) - Constructor for class jp.ac.kobe_u.cs.prolog.lang.CPFStack
Constructs a new choice point frame stack with the given size.
CPFTimeStamp - Variable in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Current time stamp of choice point frame
create(Term[], Predicate) - Method in class jp.ac.kobe_u.cs.prolog.lang.CPFStack
Create a new choice point frame.
culprit - Variable in exception jp.ac.kobe_u.cs.prolog.lang.ExistenceException
Holds the argument or one of its components which caused the error.
culprit - Variable in exception jp.ac.kobe_u.cs.prolog.lang.IllegalDomainException
Holds the argument or one of its components which caused the error.
culprit - Variable in exception jp.ac.kobe_u.cs.prolog.lang.IllegalTypeException
Holds the argument or one of its components which caused the error.
culprit - Variable in exception jp.ac.kobe_u.cs.prolog.lang.PermissionException
Holds the argument or one of its components which caused the error.
culprit - Variable in exception jp.ac.kobe_u.cs.prolog.lang.SyntaxException
Holds the argument or one of its components which caused the error.
currentInput - Variable in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Current input stream.
currentOutput - Variable in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Current output stream.
cut(int) - Method in class jp.ac.kobe_u.cs.prolog.lang.CPFStack
Discards all choice points after the value of i.
cut(int) - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Discards all choice points after the value of i.

D

debug - Variable in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Prolog implementation flag: debug.
defined(String, String, int) - Static method in class jp.ac.kobe_u.cs.prolog.lang.PredicateEncoder
Deprecated. As of Prolog Cafe 1.1, replaced by PrologClassLoader.definedPredicate(String,String,int);
definedPredicate(String, String, int) - Method in class jp.ac.kobe_u.cs.prolog.lang.PrologClassLoader
Check whether the predicate class for the given arguments is defined.
delete() - Method in class jp.ac.kobe_u.cs.prolog.lang.CPFStack
Discards the top of choice points.
deleteAll() - Method in class jp.ac.kobe_u.cs.prolog.lang.CPFStack
Discards all choice points.
deleteAll() - Method in class jp.ac.kobe_u.cs.prolog.lang.PushDownList
Discards all entries.
deleteAll() - Method in class jp.ac.kobe_u.cs.prolog.lang.Trail
Discards all entries.
dereference() - Method in class jp.ac.kobe_u.cs.prolog.lang.Term
Returns the dereference value of this term.
dereference() - Method in class jp.ac.kobe_u.cs.prolog.lang.VariableTerm
 
divide(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
 
divide(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
divide(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is (this / t).
domain - Variable in exception jp.ac.kobe_u.cs.prolog.lang.IllegalDomainException
Holds a string representation of valid domain.
DOMAIN_ERROR - Static variable in exception jp.ac.kobe_u.cs.prolog.lang.IllegalDomainException
A functor symbol of domain_error/4.
doubleQuotes - Variable in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Not supported yet.
DoubleTerm - Class in jp.ac.kobe_u.cs.prolog.lang
Floating point number.
DoubleTerm(double) - Constructor for class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
Constructs a new Prolog floating point number that represents the specified double value.
doubleValue() - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
 
doubleValue() - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
doubleValue() - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns the numeric value represented by this object after conversion to type double.

E

e - Variable in exception jp.ac.kobe_u.cs.prolog.lang.JavaException
Holds a Java exception.
eliminateDisjunctions - Variable in class jp.ac.kobe_u.cs.prolog.compiler.Compiler
Compiler option for eliminating disjunctions.
empty() - Method in class jp.ac.kobe_u.cs.prolog.lang.CPFStack
Tests if this stack has no entry.
empty() - Method in class jp.ac.kobe_u.cs.prolog.lang.InternalDatabase
Tests if this has no entry.
empty() - Method in class jp.ac.kobe_u.cs.prolog.lang.PushDownList
Tests if this pdl has no entry.
empty() - Method in class jp.ac.kobe_u.cs.prolog.lang.Trail
Tests if this stack has no entry.
encode(String, String, int) - Static method in class jp.ac.kobe_u.cs.prolog.lang.PredicateEncoder
Returns a string representation of class for the predicate with the given arguments.
engine - Variable in class jp.ac.kobe_u.cs.prolog.lang.CPFStack
Holds the Prolog engine that this CPFStack belongs to.
engine - Variable in class jp.ac.kobe_u.cs.prolog.lang.PrologControl
Holds a Prolog engine.
engine - Variable in class jp.ac.kobe_u.cs.prolog.lang.Trail
Holds the Prolog engine that this Trail belongs to.
EQUAL - Static variable in class jp.ac.kobe_u.cs.prolog.lang.Term
Holds an integer value 0.
equals(Object) - Method in class jp.ac.kobe_u.cs.prolog.lang.ClosureTerm
Checks term equality of two terms.
equals(Object) - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
Checks term equality of two terms.
equals(Object) - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
Checks term equality of two terms.
equals(Object) - Method in class jp.ac.kobe_u.cs.prolog.lang.JavaObjectTerm
Checks term equality of two terms.
equals(Object) - Method in class jp.ac.kobe_u.cs.prolog.lang.ListTerm
Checks term equality of two terms.
equals(Object) - Method in class jp.ac.kobe_u.cs.prolog.lang.StructureTerm
Checks term equality of two terms.
equals(Object) - Method in class jp.ac.kobe_u.cs.prolog.lang.VariableTerm
Checks term equality of two terms.
erase(int) - Method in class jp.ac.kobe_u.cs.prolog.lang.InternalDatabase
Erases an entry with the given index from this InternalDatabase.
eraseAll() - Method in class jp.ac.kobe_u.cs.prolog.lang.InternalDatabase
Discards all entries.
errorType - Variable in exception jp.ac.kobe_u.cs.prolog.lang.EvaluationException
Holds a string representation of error type.
escapeSequences(int, StringBuffer, PushbackReader) - Static method in class jp.ac.kobe_u.cs.prolog.lang.Token
 
evaluate(Term) - Static method in class jp.ac.kobe_u.cs.prolog.lang.Arithmetic
Evaluates _t as an arithmetic expression, and returns the resulting number as NumberTerm.
EVALUATION_ERROR - Static variable in exception jp.ac.kobe_u.cs.prolog.lang.EvaluationException
A functor symbol of evaluation_error/3.
EvaluationException - Exception in jp.ac.kobe_u.cs.prolog.lang
Evaluation error.
EvaluationException(String) - Constructor for exception jp.ac.kobe_u.cs.prolog.lang.EvaluationException
Constructs a new EvaluationException with an error type.
EvaluationException(Predicate, int, String) - Constructor for exception jp.ac.kobe_u.cs.prolog.lang.EvaluationException
Constructs a new EvaluationException with the given arguments.
exception - Variable in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Holds an exception term for catch/3 and throw/1.
exceptionRaised - Variable in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Exception level of continuation passing loop: 0 for no exception, 1 for halt/0, 2 for freeze/2 (not supported yet)
exec(Prolog) - Method in class jp.ac.kobe_u.cs.prolog.lang.Failure
 
exec(Prolog) - Method in class jp.ac.kobe_u.cs.prolog.lang.Predicate
Executes this predicate and returns a continuation goal.
exec(Prolog) - Method in class jp.ac.kobe_u.cs.prolog.lang.Success
Backtracks and returns a next clause after invoking the PrologControl.success().
execute(Predicate, Term[]) - Method in class jp.ac.kobe_u.cs.prolog.lang.PrologControl
Returns true if the system succeeds to find a first solution of the given goal, false otherwise.
EXISTENCE_ERROR - Static variable in exception jp.ac.kobe_u.cs.prolog.lang.ExistenceException
A functor symbol of existence_error/5.
ExistenceException - Exception in jp.ac.kobe_u.cs.prolog.lang
Existence error.
ExistenceException(String, Term, String) - Constructor for exception jp.ac.kobe_u.cs.prolog.lang.ExistenceException
Constructs a new ExistenceException with a object type, its culprit, and message.
ExistenceException(Predicate, int, String, Term, String) - Constructor for exception jp.ac.kobe_u.cs.prolog.lang.ExistenceException
Constructs a new ExistenceException with the given arguments.
exp() - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
 
exp() - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
exp() - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is exp(this).

F

fail() - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Do backtrak.
fail() - Method in class jp.ac.kobe_u.cs.prolog.lang.PrologControl
Is invoked after failure of all trials.
Failure - Class in jp.ac.kobe_u.cs.prolog.lang
Initial backtrak point.
Failure() - Constructor for class jp.ac.kobe_u.cs.prolog.lang.Failure
Constructs a new initial backtrak point.
Failure(PrologControl) - Constructor for class jp.ac.kobe_u.cs.prolog.lang.Failure
Constructs a new initial backtrak point with given Prolog thread.
fileExists(String) - Static method in class jp.ac.kobe_u.cs.prolog.compiler.Compiler
 
findClass(String) - Method in class jp.ac.kobe_u.cs.prolog.lang.PrologClassLoader
 
flag - Variable in exception jp.ac.kobe_u.cs.prolog.lang.RepresentationException
Holds a string representation of flag.
floatFractPart() - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
 
floatFractPart() - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
floatFractPart() - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is the float-fractional-part of this.
floatIntPart() - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
 
floatIntPart() - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
floatIntPart() - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is the float-integer-part of this.
floor() - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
 
floor() - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
floor() - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is floor(this).
functor - Variable in class jp.ac.kobe_u.cs.prolog.lang.StructureTerm
Holds the functor symbol of this StructureTerm.
functor() - Method in class jp.ac.kobe_u.cs.prolog.lang.StructureTerm
Returns the functor symbol of this StructureTerm.

G

generateClosure - Variable in class jp.ac.kobe_u.cs.prolog.compiler.Compiler
Non-standard option.
get(int) - Method in class jp.ac.kobe_u.cs.prolog.lang.InternalDatabase
Returns an entry with the given index from this InternalDatabase.
getArgs() - Method in class jp.ac.kobe_u.cs.prolog.lang.CPFStack
Returns the arguments of current choice point frame.
getArithmeticCompilation() - Method in class jp.ac.kobe_u.cs.prolog.compiler.Compiler
Returns the boolean value of arithmeticCompilation.
getB0() - Method in class jp.ac.kobe_u.cs.prolog.lang.CPFStack
Returns the cut point of current choice point frame.
getBP() - Method in class jp.ac.kobe_u.cs.prolog.lang.CPFStack
Returns the next clause of current choice point frame.
getCharConversion() - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Returns the value of Prolog implementation flag: char_conversion.
getClass(String, String, int) - Static method in class jp.ac.kobe_u.cs.prolog.lang.PredicateEncoder
Deprecated. As of Prolog Cafe 1.1, replaced by PrologClassLoader.loadPredicateClass(String,String,int,boolean);
getClazz() - Method in class jp.ac.kobe_u.cs.prolog.lang.JavaObjectTerm
Returns a java.lang.Class of object wrapped by this JavaObjectTerm.
getCode() - Method in class jp.ac.kobe_u.cs.prolog.lang.ClosureTerm
Returns the Prolog goal of this ClosureTerm.
getCont() - Method in class jp.ac.kobe_u.cs.prolog.lang.CPFStack
Returns the continuation goal of current choice point frame.
getCPFTimeStamp() - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Returns the current time stamp of choice point frame.
getCurrentInput() - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Returns the current input stream.
getCurrentOutput() - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Returns the current output stream.
getDebug() - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Returns the value of Prolog implementation flag: debug.
getDoubleQuotes() - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Returns the value of Prolog implementation flag: double_quotes.
getEliminateDisjunctions() - Method in class jp.ac.kobe_u.cs.prolog.compiler.Compiler
Returns the boolean value of eliminateDisjunctions.
getException() - Method in exception jp.ac.kobe_u.cs.prolog.lang.JavaException
Returns a underlying Java exception.
getException() - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Returns the value of exception.
getGenerateClosure() - Method in class jp.ac.kobe_u.cs.prolog.compiler.Compiler
Returns the boolean value of generateClosure.
getHashManager() - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Returns the hash manager.
getInlineExpansion() - Method in class jp.ac.kobe_u.cs.prolog.compiler.Compiler
Returns the boolean value of inlineExpansion.
getIntegerRoundingFunction() - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Returns the value of Prolog implementation flag: integer_rounding_function.
getMaxArity() - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Returns the value of Prolog implementation flag: max_arity.
getMaxInteger() - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Returns the value of Prolog implementation flag: max_integer.
getMessageTerm() - Method in exception jp.ac.kobe_u.cs.prolog.lang.BuiltinException
 
getMessageTerm() - Method in exception jp.ac.kobe_u.cs.prolog.lang.EvaluationException
Returns a term representation of this EvaluationException: evaluation_error(goal,argNo,errorType).
getMessageTerm() - Method in exception jp.ac.kobe_u.cs.prolog.lang.ExistenceException
Returns a term representation of this ExistenceException: existence_error(goal,argNo,objType,culprit,message).
getMessageTerm() - Method in exception jp.ac.kobe_u.cs.prolog.lang.IllegalDomainException
Returns a term representation of this IllegalDomainException: domain_error(goal,argNo,type,culprit).
getMessageTerm() - Method in exception jp.ac.kobe_u.cs.prolog.lang.IllegalTypeException
Returns a term representation of this IllegalTypeException: type_error(goal,argNo,type,culprit).
getMessageTerm() - Method in exception jp.ac.kobe_u.cs.prolog.lang.InternalException
Returns a term representation of this InternalException: internal_error(message).
getMessageTerm() - Method in exception jp.ac.kobe_u.cs.prolog.lang.JavaException
Returns a term representation of this JavaException: java_error(goal,argNo,exception).
getMessageTerm() - Method in exception jp.ac.kobe_u.cs.prolog.lang.PermissionException
Returns a term representation of this PermissionException: permission_error(goal,argNo,operation,permissionType,culprit,message).
getMessageTerm() - Method in exception jp.ac.kobe_u.cs.prolog.lang.PInstantiationException
Returns a term representation of this PInstantiationException: instantiation_error(goal,argNo).
getMessageTerm() - Method in exception jp.ac.kobe_u.cs.prolog.lang.PrologException
Returns the message term of this object.
getMessageTerm() - Method in exception jp.ac.kobe_u.cs.prolog.lang.RepresentationException
Returns a term representation of this RepresentationException: representation_error(goal,argNo,flag).
getMessageTerm() - Method in exception jp.ac.kobe_u.cs.prolog.lang.SyntaxException
Returns a term representation of this SyntaxException: syntax_error(goal,argNo,type,culprit,message).
getMessageTerm() - Method in exception jp.ac.kobe_u.cs.prolog.lang.SystemException
Returns a term representation of this SystemException: system_error(message).
getMessageTerm() - Method in exception jp.ac.kobe_u.cs.prolog.lang.TermException
 
getMinInteger() - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Returns the value of Prolog implementation flag: min_integer.
getOptimiseRecursiveCall() - Method in class jp.ac.kobe_u.cs.prolog.compiler.Compiler
Returns the boolean value of optimiseRecursiveCall.
getPreviousRuntime() - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Returns the value of previousRuntime.
getPrintStackTrace() - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Returns the value of Prolog implementation flag: print_stack_trace.
getStartRuntime() - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Returns the value of startRuntime.
getStreamManager() - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Returns the stream manager.
getStringType(String) - Static method in class jp.ac.kobe_u.cs.prolog.lang.Token
 
getSwitchOnHash() - Method in class jp.ac.kobe_u.cs.prolog.compiler.Compiler
Returns the boolean value of switchOnHash.
getTimeStamp() - Method in class jp.ac.kobe_u.cs.prolog.lang.CPFStack
Returns the time stamp of current choice point frame.
getTR() - Method in class jp.ac.kobe_u.cs.prolog.lang.CPFStack
Returns the trail pointer of current choice point frame.
getUnknown() - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Returns the value of Prolog implementation flag: unknown.
getUserError() - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Returns the standard error stream.
getUserInput() - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Returns the standard input stream.
getUserOutput() - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Returns the standard output stream.
goal - Variable in exception jp.ac.kobe_u.cs.prolog.lang.BuiltinException
Holds the goal in which this exception occurs.

H

hashCode() - Method in class jp.ac.kobe_u.cs.prolog.lang.ClosureTerm
 
hashCode() - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
 
hashCode() - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
hashCode() - Method in class jp.ac.kobe_u.cs.prolog.lang.JavaObjectTerm
 
hashCode() - Method in class jp.ac.kobe_u.cs.prolog.lang.ListTerm
 
hashCode() - Method in class jp.ac.kobe_u.cs.prolog.lang.StructureTerm
 
hashManager - Variable in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Hashtable for managing internal databases.
HashtableOfTerm - Class in jp.ac.kobe_u.cs.prolog.lang
Hashtable<Term,Term>.
HashtableOfTerm() - Constructor for class jp.ac.kobe_u.cs.prolog.lang.HashtableOfTerm
 
HashtableOfTerm(int) - Constructor for class jp.ac.kobe_u.cs.prolog.lang.HashtableOfTerm
 
HashtableOfTerm(int, float) - Constructor for class jp.ac.kobe_u.cs.prolog.lang.HashtableOfTerm
 

I

IllegalDomainException - Exception in jp.ac.kobe_u.cs.prolog.lang
Domain error.
IllegalDomainException(String, Term) - Constructor for exception jp.ac.kobe_u.cs.prolog.lang.IllegalDomainException
Constructs a new IllegalDomainException with a valid domain and its culprit.
IllegalDomainException(Predicate, int, String, Term) - Constructor for exception jp.ac.kobe_u.cs.prolog.lang.IllegalDomainException
Constructs a new IllegalDomainException with the given arguments.
IllegalTypeException - Exception in jp.ac.kobe_u.cs.prolog.lang
Type error.
IllegalTypeException(String, Term) - Constructor for exception jp.ac.kobe_u.cs.prolog.lang.IllegalTypeException
Constructs a new IllegalTypeException with a valid type and its culprit.
IllegalTypeException(Predicate, int, String, Term) - Constructor for exception jp.ac.kobe_u.cs.prolog.lang.IllegalTypeException
Constructs a new IllegalTypeException with the given arguments.
in_failure() - Method in class jp.ac.kobe_u.cs.prolog.lang.PrologControl
Returns true if the result of goal is ready and false, otherwise false.
in_success() - Method in class jp.ac.kobe_u.cs.prolog.lang.PrologControl
Returns true if the result of goal is ready and true, otherwise false.
init() - Method in class jp.ac.kobe_u.cs.prolog.lang.CPFStack
Discards all choice points.
init() - Method in class jp.ac.kobe_u.cs.prolog.lang.InternalDatabase
Discards all entries.
init() - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Initializes this Prolog engine.
init() - Method in class jp.ac.kobe_u.cs.prolog.lang.PushDownList
Discards all entries.
init() - Method in class jp.ac.kobe_u.cs.prolog.lang.Trail
Discards all entries.
initOnce() - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Initializes some local instances only once.
inlineExpansion - Variable in class jp.ac.kobe_u.cs.prolog.compiler.Compiler
Compiler option for inline expansion.
insert(Term) - Method in class jp.ac.kobe_u.cs.prolog.lang.InternalDatabase
Inserts an entry to this InternalDatabase.
instanceOfTerm(Object) - Static method in class jp.ac.kobe_u.cs.prolog.lang.Term
Checks whether a given object is an instance of Prolog term.
INSTANTIATION_ERROR - Static variable in exception jp.ac.kobe_u.cs.prolog.lang.PInstantiationException
A functor symbol of instantiation/2.
intDivide(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
Throws a type_error.
intDivide(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
intDivide(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is (int)(this / t).
integerRoundingFunction - Variable in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Prolog implementation flag: integer_rounding_function.
IntegerTerm - Class in jp.ac.kobe_u.cs.prolog.lang
Integer.
IntegerTerm(int) - Constructor for class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
Constructs a new Prolog integer that represents the specified int value.
IntegerTerm(String) - Constructor for class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
Constructs a new Prolog integer that represents integer value of specified String parameter.
INTERNAL_ERROR - Static variable in exception jp.ac.kobe_u.cs.prolog.lang.InternalException
A functor symbol of internal_error/1.
InternalDatabase - Class in jp.ac.kobe_u.cs.prolog.lang
Internal database for dynamic predicates.
InternalDatabase() - Constructor for class jp.ac.kobe_u.cs.prolog.lang.InternalDatabase
Constructs a new internal dababase.
InternalDatabase(int) - Constructor for class jp.ac.kobe_u.cs.prolog.lang.InternalDatabase
Constructs a new internal dababase with the given size.
internalDB - Variable in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Internal Database
InternalException - Exception in jp.ac.kobe_u.cs.prolog.lang
Internal error.
InternalException(String) - Constructor for exception jp.ac.kobe_u.cs.prolog.lang.InternalException
Constructs a new InternalException with a message.
intValue() - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
 
intValue() - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
intValue() - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns the numeric value represented by this object after conversion to type int.
isBounded() - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Returns the value of Prolog implementation flag: bounded.
isClosure() - Method in class jp.ac.kobe_u.cs.prolog.lang.Term
Check whether this term is a closure term.
isDouble() - Method in class jp.ac.kobe_u.cs.prolog.lang.Term
Check whether this term is a float.
isGround() - Method in class jp.ac.kobe_u.cs.prolog.lang.ListTerm
 
isGround() - Method in class jp.ac.kobe_u.cs.prolog.lang.StructureTerm
 
isGround() - Method in class jp.ac.kobe_u.cs.prolog.lang.Term
Check whether this term is a ground term.
isGround() - Method in class jp.ac.kobe_u.cs.prolog.lang.VariableTerm
 
isInteger() - Method in class jp.ac.kobe_u.cs.prolog.lang.Term
Check whether this term is an integer.
isJavaObject() - Method in class jp.ac.kobe_u.cs.prolog.lang.Term
Check whether this term is a java term.
isList() - Method in class jp.ac.kobe_u.cs.prolog.lang.Term
Check whether this term is a list structure.
isNil() - Method in class jp.ac.kobe_u.cs.prolog.lang.Term
Check whether this term is an empty list.
isNumber() - Method in class jp.ac.kobe_u.cs.prolog.lang.Term
Check whether this term is a number.
isSolo(int) - Static method in class jp.ac.kobe_u.cs.prolog.lang.Token
 
isStructure() - Method in class jp.ac.kobe_u.cs.prolog.lang.Term
Check whether this term is a compound term.
isSymbol() - Method in class jp.ac.kobe_u.cs.prolog.lang.Term
Check whether this term is an atom.
isSymbol(int) - Static method in class jp.ac.kobe_u.cs.prolog.lang.Token
 
isVariable() - Method in class jp.ac.kobe_u.cs.prolog.lang.Term
Check whether this term is a logical variable.

J

JAVA_ERROR - Static variable in exception jp.ac.kobe_u.cs.prolog.lang.JavaException
A functor symbol of java_error/3.
JavaException - Exception in jp.ac.kobe_u.cs.prolog.lang
Java error.
JavaException(Exception) - Constructor for exception jp.ac.kobe_u.cs.prolog.lang.JavaException
Constructs a new JavaException with a Java exception.
JavaException(Predicate, int, Exception) - Constructor for exception jp.ac.kobe_u.cs.prolog.lang.JavaException
Constructs a new JavaException with the given arguments.
JavaObjectTerm - Class in jp.ac.kobe_u.cs.prolog.lang
Java-term.
JavaObjectTerm(Object) - Constructor for class jp.ac.kobe_u.cs.prolog.lang.JavaObjectTerm
Constructs a new Prolog java-term that wraps the argument object.
JavaPredicate - Class in jp.ac.kobe_u.cs.prolog.lang
The abstract class JavaPredicate contains methods for interoperating with Java.
JavaPredicate() - Constructor for class jp.ac.kobe_u.cs.prolog.lang.JavaPredicate
 
join() - Method in class jp.ac.kobe_u.cs.prolog.lang.PrologControl
Waits for this thread to die.
jp.ac.kobe_u.cs.prolog.compiler - package jp.ac.kobe_u.cs.prolog.compiler
Provides classes for translating Prolog files into Java files.
jp.ac.kobe_u.cs.prolog.lang - package jp.ac.kobe_u.cs.prolog.lang
Provides classes that are fundamental to the design of the Prolog Cafe system.
jtry(Predicate, Predicate) - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Creates a new choice point frame.

L

length() - Method in class jp.ac.kobe_u.cs.prolog.lang.ListTerm
Returns the length of this ListTerm.
ListTerm - Class in jp.ac.kobe_u.cs.prolog.lang
List.
ListTerm(Term, Term) - Constructor for class jp.ac.kobe_u.cs.prolog.lang.ListTerm
Constructs a new Prolog list structure such that _car is the first element of this list, and _cdr is the list consisting of all the rest of the elements of this list but the first one.
loadPredicateClass(String, String, int, boolean) - Method in class jp.ac.kobe_u.cs.prolog.lang.PrologClassLoader
Returns a java.lang.Class object associated with the predicate class with the given arguments.
log() - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
 
log() - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
log() - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is log(this).
longValue() - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
 
longValue() - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
longValue() - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns the numeric value represented by this object after conversion to type long.

M

main(String[]) - Static method in class jp.ac.kobe_u.cs.prolog.compiler.Compiler
 
main(String[]) - Static method in class jp.ac.kobe_u.cs.prolog.lang.PredicateEncoder
 
main(String[]) - Static method in class jp.ac.kobe_u.cs.prolog.lang.PrologMain
 
makeSymbol(String) - Static method in class jp.ac.kobe_u.cs.prolog.lang.SymbolTerm
Returns a Prolog atom for the given name.
makeSymbol(String, int) - Static method in class jp.ac.kobe_u.cs.prolog.lang.SymbolTerm
Returns a Prolog functor for the given name and arity.
max() - Method in class jp.ac.kobe_u.cs.prolog.lang.CPFStack
Returns the value of maxContents.
max(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
 
max(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
max(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is max(this, t).
max() - Method in class jp.ac.kobe_u.cs.prolog.lang.PushDownList
Returns the value of maxContents.
max() - Method in class jp.ac.kobe_u.cs.prolog.lang.Trail
Returns the value of maxContents.
maxArity - Variable in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Prolog implementation flag: max_arity.
maxContents - Variable in class jp.ac.kobe_u.cs.prolog.lang.CPFStack
Maximum size of enties.
maxContents - Variable in class jp.ac.kobe_u.cs.prolog.lang.InternalDatabase
Maximum size of enties.
maxContents - Variable in class jp.ac.kobe_u.cs.prolog.lang.PushDownList
Maximum size of enties.
maxContents - Variable in class jp.ac.kobe_u.cs.prolog.lang.Trail
Maximum size of enties.
maxInteger - Variable in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Prolog implementation flag: max_integer.
message - Variable in exception jp.ac.kobe_u.cs.prolog.lang.ExistenceException
Holds a string representation of detail message.
message - Variable in exception jp.ac.kobe_u.cs.prolog.lang.InternalException
Holds a message.
message - Variable in exception jp.ac.kobe_u.cs.prolog.lang.PermissionException
Holds a string representation of detail message.
message - Variable in exception jp.ac.kobe_u.cs.prolog.lang.SyntaxException
Holds a string representation of detail message.
message - Variable in exception jp.ac.kobe_u.cs.prolog.lang.SystemException
Holds a message.
min(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
 
min(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
min(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is min(this, t).
minInteger - Variable in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Prolog implementation flag: min_integer.
mod(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
Throws a type_error.
mod(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
mod(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is (this mod t).
multiply(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
 
multiply(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
multiply(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is (this * t).

N

name() - Method in class jp.ac.kobe_u.cs.prolog.lang.StructureTerm
Returns the string representation of functor symbol of this StructureTerm.
name - Variable in class jp.ac.kobe_u.cs.prolog.lang.SymbolTerm
Holds a string representation of this SymbolTerm.
name() - Method in class jp.ac.kobe_u.cs.prolog.lang.SymbolTerm
Returns the string representation of this SymbolTerm.
name() - Method in class jp.ac.kobe_u.cs.prolog.lang.VariableTerm
Returns a string representation of this object.
neckCut() - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Discards all choice points after the value of B0.
negate() - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
 
negate() - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
negate() - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is (- this).
next() - Method in class jp.ac.kobe_u.cs.prolog.lang.PrologControl
Wait until the system finds a next solution, and then returns the result as boolean.
Nil - Static variable in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Holds an atom [] (empty list).
not() - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
Throws a type_error.
not() - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
not() - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is (~ this).
NumberTerm - Class in jp.ac.kobe_u.cs.prolog.lang
The superclass of classes for integers and floating point numbers.
NumberTerm() - Constructor for class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
 

O

obj - Variable in class jp.ac.kobe_u.cs.prolog.lang.JavaObjectTerm
Holds a java object that this JavaObjectTerm wraps.
object() - Method in class jp.ac.kobe_u.cs.prolog.lang.JavaObjectTerm
Returns the object wrapped by this JavaObjectTerm.
objType - Variable in exception jp.ac.kobe_u.cs.prolog.lang.ExistenceException
Holds a string representation of object type.
operation - Variable in exception jp.ac.kobe_u.cs.prolog.lang.PermissionException
Holds a string representation of operation.
optimiseRecursiveCall - Variable in class jp.ac.kobe_u.cs.prolog.compiler.Compiler
Compiler option for optimising recursive call.
or(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
Throws a type_error.
or(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
or(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is (this | t).
outOfLoop - Variable in class jp.ac.kobe_u.cs.prolog.lang.BlockPredicate
 
OutOfLoop - Class in jp.ac.kobe_u.cs.prolog.lang
A trail entry for out-of-loop flag.
OutOfLoop(BlockPredicate) - Constructor for class jp.ac.kobe_u.cs.prolog.lang.OutOfLoop
 
outOfScope - Variable in class jp.ac.kobe_u.cs.prolog.lang.BlockPredicate
 
OutOfScope - Class in jp.ac.kobe_u.cs.prolog.lang
A trail entry for out-of-scope flag.
OutOfScope(BlockPredicate) - Constructor for class jp.ac.kobe_u.cs.prolog.lang.OutOfScope
 

P

parseAtomicGoal(String) - Static method in class jp.ac.kobe_u.cs.prolog.lang.PrologMain
Returns a term for given string representation of atom goal, or null if parsing fails.
pcl - Variable in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Class loader
pendingGoals - Variable in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Holds a list of frozen goals for freeze/2 (not implemented yet).
PERMISSION_ERROR - Static variable in exception jp.ac.kobe_u.cs.prolog.lang.PermissionException
A functor symbol of permission_error/5.
PermissionException - Exception in jp.ac.kobe_u.cs.prolog.lang
Permission error.
PermissionException(Predicate, String, String, Term, String) - Constructor for exception jp.ac.kobe_u.cs.prolog.lang.PermissionException
Constructs a new PermissionException with the given arguments.
permissionType - Variable in exception jp.ac.kobe_u.cs.prolog.lang.PermissionException
Holds a string representation of permission type.
PInstantiationException - Exception in jp.ac.kobe_u.cs.prolog.lang
Instantiation error.
PInstantiationException() - Constructor for exception jp.ac.kobe_u.cs.prolog.lang.PInstantiationException
Constructs a new PInstantiationException.
PInstantiationException(Predicate, int) - Constructor for exception jp.ac.kobe_u.cs.prolog.lang.PInstantiationException
Constructs a new PInstantiationException with the given arguments.
pop() - Method in class jp.ac.kobe_u.cs.prolog.lang.PushDownList
Pops an entry from this PushDownList.
pop() - Method in class jp.ac.kobe_u.cs.prolog.lang.Trail
Pops an entry from this Trail.
pow(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
 
pow(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
pow(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is (thist).
Predicate - Class in jp.ac.kobe_u.cs.prolog.lang
The superclass of classes for predicates.
Predicate() - Constructor for class jp.ac.kobe_u.cs.prolog.lang.Predicate
 
PredicateEncoder - Class in jp.ac.kobe_u.cs.prolog.lang
The PredicateEncoder class contains static methods for encoding predicate names.
PredicateEncoder() - Constructor for class jp.ac.kobe_u.cs.prolog.lang.PredicateEncoder
 
previousRuntime - Variable in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Holds the previous time as long for statistics/2.
printStackTrace - Variable in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Prolog implementation flag: print_stack_trace.
Prolog - Class in jp.ac.kobe_u.cs.prolog.lang
Prolog engine.
Prolog(PrologControl) - Constructor for class jp.ac.kobe_u.cs.prolog.lang.Prolog
Constructs new Prolog engine.
PrologClassLoader - Class in jp.ac.kobe_u.cs.prolog.lang
Prolog class loader.
PrologClassLoader() - Constructor for class jp.ac.kobe_u.cs.prolog.lang.PrologClassLoader
 
PrologControl - Class in jp.ac.kobe_u.cs.prolog.lang
Prolog thread.
PrologControl() - Constructor for class jp.ac.kobe_u.cs.prolog.lang.PrologControl
Constructs a new PrologControl.
PrologException - Exception in jp.ac.kobe_u.cs.prolog.lang
The superclass of classes for Prolog exceptions.
PrologException() - Constructor for exception jp.ac.kobe_u.cs.prolog.lang.PrologException
Constructs a new Prolog exception.
PrologMain - Class in jp.ac.kobe_u.cs.prolog.lang
Prolog Cafe launcher.
PrologMain() - Constructor for class jp.ac.kobe_u.cs.prolog.lang.PrologMain
 
prologToJava(String, String) - Method in class jp.ac.kobe_u.cs.prolog.compiler.Compiler
Translates a Prolog program into Java programs.
prologToWAM(String, String) - Method in class jp.ac.kobe_u.cs.prolog.compiler.Compiler
Translates a Prolog program into a WAM-based intermediate code.
push(Term) - Method in class jp.ac.kobe_u.cs.prolog.lang.PushDownList
Pushs an entry to this PushDownList.
push(Undoable) - Method in class jp.ac.kobe_u.cs.prolog.lang.Trail
Pushs an entry to this Trail.
PUSHBACK_SIZE - Static variable in class jp.ac.kobe_u.cs.prolog.lang.Prolog
The size of the pushback buffer used for creating input streams.
PushDownList - Class in jp.ac.kobe_u.cs.prolog.lang
Push down List.
PushDownList() - Constructor for class jp.ac.kobe_u.cs.prolog.lang.PushDownList
Constructs a new pdl.
PushDownList(int) - Constructor for class jp.ac.kobe_u.cs.prolog.lang.PushDownList
Constructs a new pdl with the given size.

R

read_number(int, StringBuffer, PushbackReader) - Static method in class jp.ac.kobe_u.cs.prolog.lang.Token
 
read_quoted(int, StringBuffer, PushbackReader) - Static method in class jp.ac.kobe_u.cs.prolog.lang.Token
 
read_symbol(int, StringBuffer, PushbackReader) - Static method in class jp.ac.kobe_u.cs.prolog.lang.Token
 
read_token(StringBuffer, PushbackReader) - Static method in class jp.ac.kobe_u.cs.prolog.lang.Token
 
read_word(int, StringBuffer, PushbackReader) - Static method in class jp.ac.kobe_u.cs.prolog.lang.Token
 
ready() - Method in class jp.ac.kobe_u.cs.prolog.lang.PrologControl
Returns true if the result of goal is ready, false otherwise.
redo() - Method in class jp.ac.kobe_u.cs.prolog.lang.PrologControl
Returns true if the system succeeds to find a next solution of the goal, false otherwise.
REPRESENTATION_ERROR - Static variable in exception jp.ac.kobe_u.cs.prolog.lang.RepresentationException
A functor symbol of representation_error/3.
RepresentationException - Exception in jp.ac.kobe_u.cs.prolog.lang
Representation error.
RepresentationException(String) - Constructor for exception jp.ac.kobe_u.cs.prolog.lang.RepresentationException
Constructs a new RepresentationException with a flag.
RepresentationException(Predicate, int, String) - Constructor for exception jp.ac.kobe_u.cs.prolog.lang.RepresentationException
Constructs a new RepresentationException with the given arguments.
restore() - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Restores the argument registers and continuation goal register from the current choice point frame.
result - Variable in class jp.ac.kobe_u.cs.prolog.lang.PrologControl
A flag that indicates whether the result of goal is true or false.
resultReady - Variable in class jp.ac.kobe_u.cs.prolog.lang.PrologControl
A flag that indicates whether the result of goal is ready or not.
retry(Predicate, Predicate) - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Resets all necessary information from the current choice point frame, updates its next clause field to next, and then returns p.
reusableIndices - Variable in class jp.ac.kobe_u.cs.prolog.lang.InternalDatabase
A list of reusable entry indices.
rint() - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
 
rint() - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
rint() - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is rint(this).
round() - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
 
round() - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
round() - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is round(this).
run() - Method in class jp.ac.kobe_u.cs.prolog.lang.PrologControl
Executes the goal.

S

setArgument(Term[], Predicate) - Method in class jp.ac.kobe_u.cs.prolog.lang.Predicate
Sets the specified arguments and continuation goal.
setArithmeticCompilation(boolean) - Method in class jp.ac.kobe_u.cs.prolog.compiler.Compiler
The arithmeticCompilation field is set to b.
setB0(int) - Method in class jp.ac.kobe_u.cs.prolog.lang.CPFStack
Sets the cut point of current choice point frame.
setB0() - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Sets the top of choice porint stack to B0 (cut pointer).
setBP(Predicate) - Method in class jp.ac.kobe_u.cs.prolog.lang.CPFStack
Sets the next clause of current choice point frame.
setCar(Term) - Method in class jp.ac.kobe_u.cs.prolog.lang.ListTerm
Sets the value to car.
setCdr(Term) - Method in class jp.ac.kobe_u.cs.prolog.lang.ListTerm
Sets the value to cdr.
setCharConversion(String) - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Sets the value of Prolog implementation flag: char_conversion.
setCurrentInput(PushbackReader) - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Sets the current input stream to in.
setCurrentOutput(PrintWriter) - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Sets the current output stream to out.
setDebug(String) - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Sets the value of Prolog implementation flag: debug.
setDoubleQuotes(String) - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Sets the value of Prolog implementation flag: double_quotes.
setEliminateDisjunctions(boolean) - Method in class jp.ac.kobe_u.cs.prolog.compiler.Compiler
The eliminateDisjunctions field is set to b.
setException(Term) - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Sets the value of exception.
setGenerateClosure(boolean) - Method in class jp.ac.kobe_u.cs.prolog.compiler.Compiler
The generateClosure field is set to b.
setInlineExpansion(boolean) - Method in class jp.ac.kobe_u.cs.prolog.compiler.Compiler
The inlineExpansion field is set to b.
setObject(Object) - Method in class jp.ac.kobe_u.cs.prolog.lang.JavaObjectTerm
Sets the argument object to this JavaObjectTerm.
setOptimiseRecursiveCall(boolean) - Method in class jp.ac.kobe_u.cs.prolog.compiler.Compiler
The optimiseRecursiveCall field is set to b.
setPredicate(Predicate, Term[]) - Method in class jp.ac.kobe_u.cs.prolog.lang.PrologControl
Sets a goal and its arguments to this Prolog thread.
setPredicate(Term) - Method in class jp.ac.kobe_u.cs.prolog.lang.PrologControl
Sets a goal call(t) to this Prolog thread.
setPreviousRuntime(long) - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Sets the value of previousRuntime.
setPrintStackTrace(String) - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Sets the value of Prolog implementation flag: print_stack_trace.
setSwitchOnHash(boolean) - Method in class jp.ac.kobe_u.cs.prolog.compiler.Compiler
The switchOnHash field is set to b.
setTimeStamp(long) - Method in class jp.ac.kobe_u.cs.prolog.lang.CPFStack
Sets the time stamp of current choice point frame.
setTR(int) - Method in class jp.ac.kobe_u.cs.prolog.lang.CPFStack
Sets the trail pointer of current choice point frame.
setUnknown(String) - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Sets the value of Prolog implementation flag: unknown.
shiftLeft(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
Throws a type_error.
shiftLeft(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
shiftLeft(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is (this << t).
shiftRight(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
Throws a type_error.
shiftRight(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
shiftRight(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is (this >> t).
show() - Method in class jp.ac.kobe_u.cs.prolog.lang.CPFStack
Shows the contents of this CPFStack.
show() - Method in class jp.ac.kobe_u.cs.prolog.lang.InternalDatabase
Shows the contents of this InternalDatabase.
show() - Method in class jp.ac.kobe_u.cs.prolog.lang.PushDownList
Shows the contents of this PushDownList.
show() - Method in class jp.ac.kobe_u.cs.prolog.lang.Trail
Shows the contents of this Trail.
signum() - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
 
signum() - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
signum() - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is signum(this).
sin() - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
 
sin() - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
sin() - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is sin(this).
sqrt() - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
 
sqrt() - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
sqrt() - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is sqrt(this).
stack - Variable in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Choice point frame stack
start() - Method in class jp.ac.kobe_u.cs.prolog.lang.PrologControl
Forces the thread to start the execution.
startRuntime - Variable in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Holds the start time as long for statistics/2.
stop() - Method in class jp.ac.kobe_u.cs.prolog.lang.PrologControl
Forces the thread to stop.
streamManager - Variable in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Hashtable for managing input and output streams.
StructureTerm - Class in jp.ac.kobe_u.cs.prolog.lang
Compound term.
StructureTerm(SymbolTerm, Term[]) - Constructor for class jp.ac.kobe_u.cs.prolog.lang.StructureTerm
Constructs a new Prolog compound term such that _functor is the functor symbol, and _args is the argument terms respectively.
subtract(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
 
subtract(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
subtract(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is (this - t).
success() - Method in class jp.ac.kobe_u.cs.prolog.lang.PrologControl
Is invoked when the system succeeds to find a solution.
Success - Class in jp.ac.kobe_u.cs.prolog.lang
Initial continuation goal.
Success() - Constructor for class jp.ac.kobe_u.cs.prolog.lang.Success
Constructs a new initial continuation goal.
Success(PrologControl) - Constructor for class jp.ac.kobe_u.cs.prolog.lang.Success
Constructs a new initial continuation goal with given Prolog thread.
switch_on_hash(Hashtable<Term, Predicate>, Predicate) - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
If the dereferenced value of arugment register areg[1] is an integer, float, atom, or compound term (except for non-empty list), this returns the Predicate object to which its key is mapped in hashtable hash.
switch_on_term(Predicate, Predicate, Predicate, Predicate, Predicate, Predicate) - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Returns the Predicate object refered, respectively, var, Int, flo, con, str, or lis, depending on whether the dereferenced value of argument register areg[1] is a variable, integer, float, atom, compound term, or non-empty list, respectively.
switchOnHash - Variable in class jp.ac.kobe_u.cs.prolog.compiler.Compiler
Compiler option for second-level indexing.
SYM_DOT - Static variable in class jp.ac.kobe_u.cs.prolog.lang.ListTerm
A functor '.' /2.
SYMBOL_TABLE - Static variable in class jp.ac.kobe_u.cs.prolog.lang.SymbolTerm
Symbol table.
SymbolTerm - Class in jp.ac.kobe_u.cs.prolog.lang
Atom.
SymbolTerm(String, int) - Constructor for class jp.ac.kobe_u.cs.prolog.lang.SymbolTerm
Constructs a new Prolog atom (or functor) with the given symbol name and arity.
SYNTAX_ERROR - Static variable in exception jp.ac.kobe_u.cs.prolog.lang.SyntaxException
A functor symbol of syntax_error/5.
SyntaxException - Exception in jp.ac.kobe_u.cs.prolog.lang
Syntax error.
SyntaxException(String, Term, String) - Constructor for exception jp.ac.kobe_u.cs.prolog.lang.SyntaxException
Constructs a new SyntaxException with a valid type, its culprit, and message.
SyntaxException(Predicate, int, String, Term, String) - Constructor for exception jp.ac.kobe_u.cs.prolog.lang.SyntaxException
Constructs a new SyntaxException with the given arguments.
SYSTEM_ERROR - Static variable in exception jp.ac.kobe_u.cs.prolog.lang.SystemException
A functor symbol of system_error/1.
SystemException - Exception in jp.ac.kobe_u.cs.prolog.lang
System error.
SystemException(String) - Constructor for exception jp.ac.kobe_u.cs.prolog.lang.SystemException
Constructs a new SystemException with a message.

T

tan() - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
 
tan() - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
tan() - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is tan(this).
Term - Class in jp.ac.kobe_u.cs.prolog.lang
The superclass of classes for term structures.
Term() - Constructor for class jp.ac.kobe_u.cs.prolog.lang.Term
 
TermException - Exception in jp.ac.kobe_u.cs.prolog.lang
User-defined exception.
TermException() - Constructor for exception jp.ac.kobe_u.cs.prolog.lang.TermException
Constructs a new TermException.
TermException(Term) - Constructor for exception jp.ac.kobe_u.cs.prolog.lang.TermException
Constructs a new TermException with a given message term.
thread - Variable in class jp.ac.kobe_u.cs.prolog.lang.PrologControl
A volatile instance variable holding a thread.
timeStamp - Variable in class jp.ac.kobe_u.cs.prolog.lang.VariableTerm
A CPF time stamp when this object is newly constructed.
timeStamp() - Method in class jp.ac.kobe_u.cs.prolog.lang.VariableTerm
Returns the value of timeStamp.
toDegrees() - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
 
toDegrees() - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
toDegrees() - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is toDegrees(this).
toFloat() - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
 
toFloat() - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
toFloat() - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is (double)(this).
toJava() - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
Returns a java.lang.Double corresponds to this DoubleTerm according to Prolog Cafe interoperability with Java.
toJava() - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
Returns a java.lang.Integer corresponds to this IntegerTerm according to Prolog Cafe interoperability with Java.
toJava() - Method in class jp.ac.kobe_u.cs.prolog.lang.JavaObjectTerm
Returns the object wrapped by this JavaObjectTerm.
toJava() - Method in class jp.ac.kobe_u.cs.prolog.lang.ListTerm
Returns a java.util.Vector corresponds to this ListTerm according to Prolog Cafe interoperability with Java.
toJava() - Method in class jp.ac.kobe_u.cs.prolog.lang.SymbolTerm
Returns a java.lang.String corresponds to this SymbolTerm according to Prolog Cafe interoperability with Java.
toJava() - Method in class jp.ac.kobe_u.cs.prolog.lang.Term
Returns a Java object that corresponds to this term if defined in Prolog Cafe interoperability with Java.
toJava() - Method in class jp.ac.kobe_u.cs.prolog.lang.VariableTerm
Returns this if this variable is unbound.
Token - Class in jp.ac.kobe_u.cs.prolog.lang
The Token class contains methods for character input/output.
Token() - Constructor for class jp.ac.kobe_u.cs.prolog.lang.Token
 
top - Variable in class jp.ac.kobe_u.cs.prolog.lang.CPFStack
the top index of this CPFStack.
top() - Method in class jp.ac.kobe_u.cs.prolog.lang.CPFStack
Returns the value of top.
top - Variable in class jp.ac.kobe_u.cs.prolog.lang.InternalDatabase
the top index of this InternalDatabase.
top() - Method in class jp.ac.kobe_u.cs.prolog.lang.InternalDatabase
Returns the value of top.
top - Variable in class jp.ac.kobe_u.cs.prolog.lang.PushDownList
the top index of this PushDownList.
top() - Method in class jp.ac.kobe_u.cs.prolog.lang.PushDownList
Returns the value of top.
top - Variable in class jp.ac.kobe_u.cs.prolog.lang.Trail
the top index of this Trail.
top() - Method in class jp.ac.kobe_u.cs.prolog.lang.Trail
Returns the value of top.
toQuotedString() - Method in class jp.ac.kobe_u.cs.prolog.lang.ClosureTerm
 
toQuotedString() - Method in class jp.ac.kobe_u.cs.prolog.lang.JavaObjectTerm
 
toQuotedString() - Method in class jp.ac.kobe_u.cs.prolog.lang.ListTerm
 
toQuotedString() - Method in class jp.ac.kobe_u.cs.prolog.lang.StructureTerm
 
toQuotedString() - Method in class jp.ac.kobe_u.cs.prolog.lang.SymbolTerm
 
toQuotedString() - Method in class jp.ac.kobe_u.cs.prolog.lang.Term
Returns a quoted string representation of this term.
toQuotedString(String) - Static method in class jp.ac.kobe_u.cs.prolog.lang.Token
 
toQuotedString() - Method in class jp.ac.kobe_u.cs.prolog.lang.VariableTerm
Returns a quoted string representation of this term if unbound.
toRadians() - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
 
toRadians() - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
toRadians() - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is toRadians(this).
toString() - Method in class jp.ac.kobe_u.cs.prolog.lang.ClosureTerm
Returns a string representation of this ClosureTerm.
toString() - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
Returns a string representation of this DoubleTerm.
toString() - Method in exception jp.ac.kobe_u.cs.prolog.lang.EvaluationException
Returns a string representation of this EvaluationException.
toString() - Method in exception jp.ac.kobe_u.cs.prolog.lang.ExistenceException
Returns a string representation of this ExistenceException.
toString() - Method in class jp.ac.kobe_u.cs.prolog.lang.Failure
Returns a string representation of this Failure.
toString() - Method in exception jp.ac.kobe_u.cs.prolog.lang.IllegalDomainException
Returns a string representation of this IllegalDomainException.
toString() - Method in exception jp.ac.kobe_u.cs.prolog.lang.IllegalTypeException
Returns a string representation of this IllegalTypeException.
toString() - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
Returns a string representation of this IntegerTerm.
toString() - Method in exception jp.ac.kobe_u.cs.prolog.lang.InternalException
Returns a string representation of this InternalException.
toString() - Method in exception jp.ac.kobe_u.cs.prolog.lang.JavaException
Returns a string representation of this JavaException.
toString() - Method in class jp.ac.kobe_u.cs.prolog.lang.JavaObjectTerm
Returns a string representation of this JavaObjectTerm.
toString() - Method in class jp.ac.kobe_u.cs.prolog.lang.ListTerm
Returns a string representation of this ListTerm.
toString() - Method in exception jp.ac.kobe_u.cs.prolog.lang.PermissionException
Returns a string representation of this PermissionException.
toString() - Method in exception jp.ac.kobe_u.cs.prolog.lang.PInstantiationException
Returns a string representation of this PInstantiationException.
toString() - Method in exception jp.ac.kobe_u.cs.prolog.lang.RepresentationException
Returns a string representation of this RepresentationException.
toString() - Method in class jp.ac.kobe_u.cs.prolog.lang.StructureTerm
Returns a string representation of this StructureTerm.
toString() - Method in class jp.ac.kobe_u.cs.prolog.lang.Success
Returns a string representation of this Success.
toString() - Method in class jp.ac.kobe_u.cs.prolog.lang.SymbolTerm
Returns a string representation of this SymbolTerm.
toString() - Method in exception jp.ac.kobe_u.cs.prolog.lang.SyntaxException
Returns a string representation of this SyntaxException.
toString() - Method in exception jp.ac.kobe_u.cs.prolog.lang.SystemException
Returns a string representation of this SystemException.
toString() - Method in class jp.ac.kobe_u.cs.prolog.lang.VariableTerm
Returns a string representation of this term if unbound.
trail - Variable in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Trail stack
Trail - Class in jp.ac.kobe_u.cs.prolog.lang
Trail stack.
Trail(Prolog) - Constructor for class jp.ac.kobe_u.cs.prolog.lang.Trail
Constructs a new trail stack.
Trail(Prolog, int) - Constructor for class jp.ac.kobe_u.cs.prolog.lang.Trail
Constructs a new trail stack with the given size.
truncate() - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
 
truncate() - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
truncate() - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is the truncate of this.
trust(Predicate) - Method in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Resets all necessary information from the current choice point frame, discard it, and then returns p.
type - Variable in exception jp.ac.kobe_u.cs.prolog.lang.IllegalTypeException
Holds a string representation of valid type.
type - Variable in exception jp.ac.kobe_u.cs.prolog.lang.SyntaxException
Holds a string representation of valid type.
TYPE_ERROR - Static variable in exception jp.ac.kobe_u.cs.prolog.lang.IllegalTypeException
A functor symbol of type_error/4.

U

undo() - Method in class jp.ac.kobe_u.cs.prolog.lang.OutOfLoop
 
undo() - Method in class jp.ac.kobe_u.cs.prolog.lang.OutOfScope
 
undo() - Method in interface jp.ac.kobe_u.cs.prolog.lang.Undoable
Undoes this object.
undo() - Method in class jp.ac.kobe_u.cs.prolog.lang.VariableTerm
 
Undoable - Interface in jp.ac.kobe_u.cs.prolog.lang
Implementing this interface allows an object to be pushed to trail stack.
unify(Term, Trail) - Method in class jp.ac.kobe_u.cs.prolog.lang.ClosureTerm
 
unify(Term, Trail) - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
 
unify(Term, Trail) - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
unify(Term, Trail) - Method in class jp.ac.kobe_u.cs.prolog.lang.JavaObjectTerm
 
unify(Term, Trail) - Method in class jp.ac.kobe_u.cs.prolog.lang.ListTerm
 
unify(Term, Trail) - Method in class jp.ac.kobe_u.cs.prolog.lang.StructureTerm
 
unify(Term, Trail) - Method in class jp.ac.kobe_u.cs.prolog.lang.SymbolTerm
 
unify(Term, Trail) - Method in class jp.ac.kobe_u.cs.prolog.lang.Term
Checks whether the argument term is unified with this one.
unify(Term, Trail) - Method in class jp.ac.kobe_u.cs.prolog.lang.VariableTerm
Checks whether the argument term is unified with this one.
unknown - Variable in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Prolog implementation flag: unknown.
unwind(int) - Method in class jp.ac.kobe_u.cs.prolog.lang.Trail
Unwinds all entries after the value of i.
usage() - Static method in class jp.ac.kobe_u.cs.prolog.compiler.Compiler
Shows usage
usage() - Static method in class jp.ac.kobe_u.cs.prolog.lang.PrologMain
Shows usage
userError - Variable in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Standard error stream.
userInput - Variable in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Standard input stream.
userOutput - Variable in class jp.ac.kobe_u.cs.prolog.lang.Prolog
Standard output stream.

V

val - Variable in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
Holds a double value that this DoubleTerm represents.
val - Variable in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
Holds an int value that this IntegerTerm represents.
val - Variable in class jp.ac.kobe_u.cs.prolog.lang.VariableTerm
Holds a term to which this variable is bound.
value() - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
Returns the value of val.
value() - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
Returns the value of val.
VariableTerm - Class in jp.ac.kobe_u.cs.prolog.lang
Variable.
VariableTerm() - Constructor for class jp.ac.kobe_u.cs.prolog.lang.VariableTerm
Constructs a new logical variable so that the timeStamp field is set to Long.MIN_VALUE.
VariableTerm(Prolog) - Constructor for class jp.ac.kobe_u.cs.prolog.lang.VariableTerm
Constructs a new logical variable so that the timeStamp field is set to the current value of CPFTimeStamp of the specified Prolog engine.
VERSION - Static variable in class jp.ac.kobe_u.cs.prolog.compiler.Compiler
Version information
VERSION - Static variable in class jp.ac.kobe_u.cs.prolog.lang.PrologMain
Version information

W

wamToJava(String, String) - Method in class jp.ac.kobe_u.cs.prolog.compiler.Compiler
Translates WAM-based intermediate code into Java programs.
write_string(String, PrintWriter) - Static method in class jp.ac.kobe_u.cs.prolog.lang.Token
 
writeq_string(String, PrintWriter) - Static method in class jp.ac.kobe_u.cs.prolog.lang.Token
 

X

xor(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.DoubleTerm
Throws a type_error.
xor(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.IntegerTerm
 
xor(NumberTerm) - Method in class jp.ac.kobe_u.cs.prolog.lang.NumberTerm
Returns a NumberTerm whose value is (this ^ t).

A B C D E F G H I J L M N O P R S T U V W X
Prolog Cafe v1.2

Copyright (C) 1997-2008 M.BANBARA and N.TAMURA