Package alice.tuprolog.lib