Constructor and Description |
---|
Clause(H head,
B body)
Creates a new instance of Clause
|
Clause(Struct s) |
Modifier and Type | Method and Description |
---|---|
B |
getBody() |
boolean |
isFact() |
Struct |
marshal() |
boolean |
match(java.lang.String name,
int arity) |
java.lang.String |
toString() |
append, arity, getHead, getName, getRest, iterator, make, toJava