prolog-arithmetic