package it.unibo.tuprolog.solve.stdlib.magic Classes Name Description object MagicCut: Atom, Any interface MagicTerm: Term, Any