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 _