public class Clause<H extends Term<?>,B extends Term<?>> extends Compound2<H,B>
Clause(H head, B body)
Clause(Struct s)
B
getBody()
boolean
isFact()
Struct
marshal()
match(String name, int arity)
String
toString()
get0, get1
append, arity, getHead, getName, getRest, iterator, make, toJava
fromJava, unmarshal
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public Clause(H head, B body)
public Clause(Struct s)
public B getBody()
public boolean isFact()
public String toString()
toString
Cons<H extends Term<?>,Cons<B extends Term<?>,Nil>>
public Struct marshal()
marshal
public boolean match(String name, int arity)