prolog-dif