protected ITerm computeResult(ITerm[] terms) throws EvaluationException { if (terms[0] instanceof IStringTerm && terms[1] instanceof IStringTerm) { int result = BuiltinHelper.compare(terms[0], terms[1]); return Factory.CONCRETE.createInteger(result); } return null; }