com.grack.prologmachine
Class Clause

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

public class Clause
extends java.lang.Object


Constructor Summary
Clause(Predicate head, BuiltInPredicate tail)
           
Clause(Predicate head, Predicate tail)
           
 
Method Summary
 java.lang.String getName()
           
 boolean isBuiltIn()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Clause

public Clause(Predicate head,
              Predicate tail)

Clause

public Clause(Predicate head,
              BuiltInPredicate tail)
Method Detail

isBuiltIn

public boolean isBuiltIn()

getName

public java.lang.String getName()