How to install swi-prolog-nox on Debian 9 (Stretch)