Package | Description |
---|---|
alice.tuprologx.pj.meta | |
alice.tuprologx.pj.model |
Modifier and Type | Method and Description |
---|---|
Clause<?,?>[] |
PrologMetaMethod.getClauses() |
Modifier and Type | Method and Description |
---|---|
Clause<?,?>[] |
Theory.find(java.lang.String name,
int arity) |
Constructor and Description |
---|
Theory(java.util.Collection<Clause<?,?>> clauses)
Creates a new instance of Theory
|