Обновляю сабж через сонсоль. Вяло поглядываю на список загружаемых пакетов, а там... swi-prolog-runtime.