it.unibo.tuprolog.core.exception