swi-prolog-for-sharing