Class
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
A
B
C
D
E
F
G
H
I
L
M
P
R
S
T
U
V
W
_
A
addArgument(Unifiable)
- Method in class com.grack.prologmachine.
Predicate
Add a new argument to the predicate.
addSubstitution(Variable, Unifiable)
- Method in class com.grack.prologmachine.
MostGeneralUnifier
Adds a new substitution to the MGU, as well as updating the old substitutions with the new variable.
AppendHead(Clause)
- Method in class com.grack.prologmachine.
Database
AppendHead(Clause)
- Method in class com.grack.prologmachine.
Database.ProcedureGroup
AppendTail(Clause)
- Method in class com.grack.prologmachine.
Database
AppendTail(Clause)
- Method in class com.grack.prologmachine.
Database.ProcedureGroup
applySubstitution(Predicate)
- Method in class com.grack.prologmachine.
MostGeneralUnifier
Applies the current substitution set to the given Predicate.
argumentCount()
- Method in class com.grack.prologmachine.
Predicate
Returns the number of arguments this predicate has.
B
BuiltInPredicate
- interface com.grack.prologmachine.
BuiltInPredicate
.
The parent interface for all built-in predicates.
C
call(Unifiable[], PrologMachine)
- Method in interface com.grack.prologmachine.
BuiltInPredicate
Calls the built-in predicate goal.
Clause
- class com.grack.prologmachine.
Clause
.
Clause(Predicate, BuiltInPredicate)
- Constructor for class com.grack.prologmachine.
Clause
Clause(Predicate, Predicate)
- Constructor for class com.grack.prologmachine.
Clause
copyTop()
- Method in class com.grack.prologmachine.
PrologMachine.ExecutionStack
D
Database
- class com.grack.prologmachine.
Database
.
Database.ProcedureGroup
- class com.grack.prologmachine.
Database.ProcedureGroup
.
Groups the procedures by name and arity
Database.ProcedureGroup(Database, PredicateSignature, boolean, boolean)
- Constructor for class com.grack.prologmachine.
Database.ProcedureGroup
Database()
- Constructor for class com.grack.prologmachine.
Database
deepClone()
- Method in class com.grack.prologmachine.
PrologMachine.ExecutionState
E
EmptyList
- class com.grack.prologmachine.
EmptyList
.
EmptyList()
- Constructor for class com.grack.prologmachine.
EmptyList
equals(Object)
- Method in class com.grack.prologmachine.
PredicateSignature
Tests to see if two signatures are equal.
equals(Object)
- Method in class com.grack.prologmachine.
Variable
F
FloatNumber
- class com.grack.prologmachine.
FloatNumber
.
FloatNumber(double)
- Constructor for class com.grack.prologmachine.
FloatNumber
G
getArgument(int)
- Method in class com.grack.prologmachine.
Predicate
Returns the argument at the given index for this predicate.
getArity()
- Method in class com.grack.prologmachine.
Predicate
Returns the arity of the predicate.
getArity()
- Method in class com.grack.prologmachine.
PredicateSignature
Returns the arity portion of the signature.
getCurrAct()
- Method in class com.grack.prologmachine.
PrologMachine.ExecutionState
getExecutionStack()
- Method in class com.grack.prologmachine.
PrologMachine
getGroup(PredicateSignature)
- Method in class com.grack.prologmachine.
Database
getName()
- Method in class com.grack.prologmachine.
Clause
getName()
- Method in class com.grack.prologmachine.
Predicate
Returns the name of the predicate.
getName()
- Method in class com.grack.prologmachine.
PredicateSignature
Returns the name portion of the signature.
getName()
- Method in class com.grack.prologmachine.
Variable
getSignature()
- Method in class com.grack.prologmachine.
Predicate
Computes the predicate signature for this predicate.
getValue()
- Method in class com.grack.prologmachine.
FloatNumber
getValue()
- Method in class com.grack.prologmachine.
IntegerNumber
H
hashCode()
- Method in class com.grack.prologmachine.
PredicateSignature
Returns the hashcode of the signature.
hashCode()
- Method in class com.grack.prologmachine.
Variable
I
IntegerNumber
- class com.grack.prologmachine.
IntegerNumber
.
IntegerNumber(int)
- Constructor for class com.grack.prologmachine.
IntegerNumber
isBuiltIn()
- Method in class com.grack.prologmachine.
Clause
isBuiltIn()
- Method in class com.grack.prologmachine.
Database.ProcedureGroup
isBuiltIn()
- Method in class com.grack.prologmachine.
PrologMachine.ExecutionState
isFailure()
- Method in class com.grack.prologmachine.
PrologMachine.ExecutionStack
isStatic()
- Method in class com.grack.prologmachine.
Database.ProcedureGroup
isSuccess()
- Method in class com.grack.prologmachine.
PrologMachine.ExecutionState
isSuccess()
- Method in class com.grack.prologmachine.
PrologMachine.ExecutionStack
isTrue()
- Method in class com.grack.prologmachine.
Term
isUserProcedure()
- Method in class com.grack.prologmachine.
PrologMachine.ExecutionState
isValid()
- Method in class com.grack.prologmachine.
Predicate
Returns whether this represents a valid predicate or not.
isValid()
- Method in class com.grack.prologmachine.
Variable
L
loadUnifiable(Unifiable)
- Method in class com.grack.prologmachine.
PrologMachine.ExecutionStack
M
MostGeneralUnifier
- class com.grack.prologmachine.
MostGeneralUnifier
.
A class which contains the Most General Unifier (MGU) set: the set which unifies two terms.
MostGeneralUnifier()
- Constructor for class com.grack.prologmachine.
MostGeneralUnifier
Creates an empty MGU.
P
pop()
- Method in class com.grack.prologmachine.
PrologMachine.ExecutionStack
Predicate
- class com.grack.prologmachine.
Predicate
.
Implements the functionality for a unifiable predicate.
Predicate(String, int)
- Constructor for class com.grack.prologmachine.
Predicate
Constructs a new Predicate from a given name and arity.
Predicate(String, int, Unifiable)
- Constructor for class com.grack.prologmachine.
Predicate
Constructs a new Predicate from a given name and arity and a single argument.
Predicate(String, int, Unifiable[])
- Constructor for class com.grack.prologmachine.
Predicate
Constructs a new Predicate from a given name and arity and a list of arguments.
PredicateSignature
- class com.grack.prologmachine.
PredicateSignature
.
Holds a signature for a predicate - it's name and arity.
PredicateSignature(String, int)
- Constructor for class com.grack.prologmachine.
PredicateSignature
Constructs a new predicate signature.
PrologMachine
- class com.grack.prologmachine.
PrologMachine
.
PrologMachine.BacktrackingInfo
- class com.grack.prologmachine.
PrologMachine.BacktrackingInfo
.
PrologMachine.BacktrackingInfo(PrologMachine)
- Constructor for class com.grack.prologmachine.
PrologMachine.BacktrackingInfo
PrologMachine.ExecutionStack
- class com.grack.prologmachine.
PrologMachine.ExecutionStack
.
PrologMachine.ExecutionStack(PrologMachine)
- Constructor for class com.grack.prologmachine.
PrologMachine.ExecutionStack
PrologMachine.ExecutionState
- class com.grack.prologmachine.
PrologMachine.ExecutionState
.
PrologMachine.ExecutionState(PrologMachine)
- Constructor for class com.grack.prologmachine.
PrologMachine.ExecutionState
PrologMachine.Substitution
- class com.grack.prologmachine.
PrologMachine.Substitution
.
PrologMachine.Substitution(PrologMachine)
- Constructor for class com.grack.prologmachine.
PrologMachine.Substitution
PrologMachine()
- Constructor for class com.grack.prologmachine.
PrologMachine
R
redo(Unifiable[], PrologMachine)
- Method in interface com.grack.prologmachine.
BuiltInPredicate
Calls the built-in predicate goal through backtracking.
S
setArgument(int, Unifiable)
- Method in class com.grack.prologmachine.
Predicate
Replace an argument with another.
setUp()
- Method in class com.grack.prologmachine.test.
TestMostGeneralUnifier
setUp()
- Method in class com.grack.prologmachine.test.
TestUnifiable
setUp()
- Method in class com.grack.prologmachine.test.
TestUnify
Solve(Unifiable)
- Method in class com.grack.prologmachine.
PrologMachine
suite()
- Static method in class com.grack.prologmachine.test.
TestMostGeneralUnifier
suite()
- Static method in class com.grack.prologmachine.test.
TestUnifiable
suite()
- Static method in class com.grack.prologmachine.test.
TestUnify
T
tearDown()
- Method in class com.grack.prologmachine.test.
TestMostGeneralUnifier
tearDown()
- Method in class com.grack.prologmachine.test.
TestUnifiable
tearDown()
- Method in class com.grack.prologmachine.test.
TestUnify
Term
- class com.grack.prologmachine.
Term
.
Term()
- Constructor for class com.grack.prologmachine.
Term
testArity()
- Method in class com.grack.prologmachine.test.
TestUnifiable
testBig1()
- Method in class com.grack.prologmachine.test.
TestMostGeneralUnifier
testBig2()
- Method in class com.grack.prologmachine.test.
TestMostGeneralUnifier
testComplexCompoundPredicate()
- Method in class com.grack.prologmachine.test.
TestUnifiable
testEmpty()
- Method in class com.grack.prologmachine.test.
TestMostGeneralUnifier
testEmptyList()
- Method in class com.grack.prologmachine.test.
TestUnifiable
testFloatNumber()
- Method in class com.grack.prologmachine.test.
TestUnifiable
testIntegerNumber()
- Method in class com.grack.prologmachine.test.
TestUnifiable
TestMostGeneralUnifier
- class com.grack.prologmachine.test.
TestMostGeneralUnifier
.
TestMostGeneralUnifier(String)
- Constructor for class com.grack.prologmachine.test.
TestMostGeneralUnifier
testName()
- Method in class com.grack.prologmachine.test.
TestUnifiable
testNoArguments()
- Method in class com.grack.prologmachine.test.
TestUnifiable
testSignature()
- Method in class com.grack.prologmachine.test.
TestUnifiable
testSimple()
- Method in class com.grack.prologmachine.test.
TestMostGeneralUnifier
testSimple1()
- Method in class com.grack.prologmachine.test.
TestUnify
testSimple2()
- Method in class com.grack.prologmachine.test.
TestUnify
testSimple3()
- Method in class com.grack.prologmachine.test.
TestUnify
testSimple4()
- Method in class com.grack.prologmachine.test.
TestUnify
testSimple5()
- Method in class com.grack.prologmachine.test.
TestUnify
testSimple6()
- Method in class com.grack.prologmachine.test.
TestUnify
testSimple7()
- Method in class com.grack.prologmachine.test.
TestUnify
testSimple8()
- Method in class com.grack.prologmachine.test.
TestUnify
testSimple9()
- Method in class com.grack.prologmachine.test.
TestUnify
testSimpleCompoundPredicate()
- Method in class com.grack.prologmachine.test.
TestUnifiable
TestUnifiable
- class com.grack.prologmachine.test.
TestUnifiable
.
TestUnifiable(String)
- Constructor for class com.grack.prologmachine.test.
TestUnifiable
TestUnify
- class com.grack.prologmachine.test.
TestUnify
.
TestUnify(String)
- Constructor for class com.grack.prologmachine.test.
TestUnify
testWildcard()
- Method in class com.grack.prologmachine.test.
TestUnifiable
top()
- Method in class com.grack.prologmachine.
PrologMachine.ExecutionStack
toString()
- Method in class com.grack.prologmachine.
EmptyList
toString()
- Method in class com.grack.prologmachine.
FloatNumber
toString()
- Method in class com.grack.prologmachine.
IntegerNumber
toString()
- Method in class com.grack.prologmachine.
MostGeneralUnifier
Converts the MGU to a string represenation.
toString()
- Method in class com.grack.prologmachine.
Predicate
Converts the predicate to a string representation.
toString()
- Method in class com.grack.prologmachine.
PredicateSignature
Converts the PredicateSignature to a String.
toString()
- Method in class com.grack.prologmachine.
Variable
toString()
- Method in class com.grack.prologmachine.
Wildcard
U
Unifiable
- interface com.grack.prologmachine.
Unifiable
.
unify(Unifiable, Unifiable, MostGeneralUnifier)
- Static method in class com.grack.prologmachine.
Term
V
Variable
- class com.grack.prologmachine.
Variable
.
Variable(String)
- Constructor for class com.grack.prologmachine.
Variable
W
Wildcard
- class com.grack.prologmachine.
Wildcard
.
Wildcard()
- Constructor for class com.grack.prologmachine.
Wildcard
_
_value
- Variable in class com.grack.prologmachine.
FloatNumber
_value
- Variable in class com.grack.prologmachine.
IntegerNumber
A
B
C
D
E
F
G
H
I
L
M
P
R
S
T
U
V
W
_
Class
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES