Paquetes para instalar swi-prolog y editores