it.unibo.tuprolog.dsl.theory