The it.unibo.tuprolog.solve.Signature (gt/2) under which gt is registered as a primitive.
it.unibo.tuprolog.solve.Signature
gt/2