it.unibo.tuprolog.collections