prolog-commons