it.unibo.tuprolog.theory.impl