lojix/prolog/src/main/com/thesett/aima/logic/fol/prolog/builtins/BinaryArithmeticComparison.java
public boolean proofStep(ResolutionState state)
    {
        Functor isOp = state.getGoalStack().poll().getFunctor();

        // Evaluate both sides of the comparison, checking that they are fully instantiated numbers.
        NumericType n1 = BuiltInUtils.evaluateAsNumeric(isOp.getArgument(0));
        NumericType n2 = BuiltInUtils.evaluateAsNumeric(isOp.getArgument(1));

        // Evaluate the comparison operator.
        return evaluate(n1, n2);
    }
public boolean proofStep(ResolutionState state)
    {
        Functor isOp = state.getGoalStack().poll().getFunctor();

        // Evaluate both sides of the comparison, checking that they are fully instantiated numbers.
        NumericType n1 = BuiltInUtils.evaluateAsNumeric(isOp.getArgument(0));
        NumericType n2 = BuiltInUtils.evaluateAsNumeric(isOp.getArgument(1));

        // Evaluate the comparison operator.
        return evaluate(n1, n2);
    }
{@inheritDoc}