Uses of Class
alice.tuprolog.Theory