it.unibo.tuprolog.utils.impl