Package | Description |
---|---|
alice.tuprologx.pj.engine | |
alice.tuprologx.pj.meta |
Modifier and Type | Method and Description |
---|---|
static void |
PJ.assertClause(PrologObject po,
Term clause) |
static void |
PJ.retractAllClauses(PrologObject po,
Term clause) |
static void |
PJ.retractClause(PrologObject po,
Term clause) |
Modifier and Type | Method and Description |
---|---|
<T extends Term<?>> |
PrologMetaField.getValue(PrologObject o) |
void |
PrologMetaField.init(PrologObject o) |
Object |
PrologMetaMethod.invoke(PrologObject o,
Term<?>... args) |
<T extends Term<?>> |
PrologMetaField.setValue(PrologObject o,
T t) |