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();

        
        NumericType n1 = BuiltInUtils.evaluateAsNumeric(isOp.getArgument(0));
        NumericType n2 = BuiltInUtils.evaluateAsNumeric(isOp.getArgument(1));

        
        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}
{