alice.tuprolog

Class TheoryManager