Package | Description |
---|---|
alice.tuprolog | |
alice.tuprolog.event |
Modifier and Type | Method and Description |
---|---|
java.util.List<TheoryListener> |
Prolog.getTheoryListenerList()
Gets a copy of current listener list to theory events
|
Modifier and Type | Method and Description |
---|---|
void |
Prolog.addTheoryListener(TheoryListener l)
Adds a listener to theory events
|
void |
Prolog.removeTheoryListener(TheoryListener l)
Removes a listener to theory events
|
Modifier and Type | Class and Description |
---|---|
class |
PrologEventAdapter |