arithmetic operator in prolog