com.grack.prologmachine
Class PrologMachine

java.lang.Object
  |
  +--com.grack.prologmachine.PrologMachine

public class PrologMachine
extends java.lang.Object


Inner Class Summary
 class PrologMachine.BacktrackingInfo
           
 class PrologMachine.ExecutionStack
           
 class PrologMachine.ExecutionState
           
 class PrologMachine.Substitution
           
 
Constructor Summary
PrologMachine()
           
 
Method Summary
 PrologMachine.ExecutionStack getExecutionStack()
           
 void Solve(Unifiable u)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PrologMachine

public PrologMachine()
Method Detail

Solve

public void Solve(Unifiable u)

getExecutionStack

public PrologMachine.ExecutionStack getExecutionStack()