swi-prolog-x • apt package info