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