it.unibo.tuprolog.solve.classic.stdlib.primitive