Uses of Interface
alice.tuprolog.TheoryListener

Packages that use TheoryListener

alice.tuprolog

Uses of TheoryListener in alice.tuprolog

Classes in alice.tuprolog that implement TheoryListener

class

PrologEventAdapter

Methods in alice.tuprolog with parameters of type TheoryListener

void	Prolog.addTheoryListener(TheoryListener l) Adds a listener to theory events
void	Prolog.removeTheoryListener(TheoryListener l) Removes a listener to theory events