alice.tuprolog.lib

Class TheoryLibrary