it.unibo.tuprolog.theory