Package alice.tuprolog.interfaces