How to remove swi-prolog-x from Debian 9 (Stretch)