it.unibo.tuprolog.solve.libs.oop.impl