gt

A hand-written it.unibo.tuprolog.solve.primitive.Primitive implementing a gt/2 predicate that succeeds iff its first numeric argument is strictly greater than its second. It is the lowest-level way of extending the solver with custom logic: rather than subclassing one of the it.unibo.tuprolog.solve.primitive.Primitive convenience base types (as it.unibo.tuprolog.examples.solve.ThermostatAgentKt does), it directly implements the (Solve.Request<ExecutionContext>) -> Sequence<Solve.Response> function type expected by it.unibo.tuprolog.solve.primitive.Primitive's constructor.

Throws