it.unibo.tuprolog.collections.rete.generic