com.grack.prologmachine
Class Database

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

public class Database
extends java.lang.Object


Inner Class Summary
 class Database.ProcedureGroup
          Groups the procedures by name and arity
 
Constructor Summary
Database()
           
 
Method Summary
 void AppendHead(Clause c)
           
 void AppendTail(Clause c)
           
 Database.ProcedureGroup getGroup(PredicateSignature ps)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Database

public Database()
Method Detail

AppendHead

public void AppendHead(Clause c)

AppendTail

public void AppendTail(Clause c)

getGroup

public Database.ProcedureGroup getGroup(PredicateSignature ps)