Я считаю, что это должно быть:
fink install swi-prolog Название пакета - swi-prolog. Финк позаботится о том, чтобы получить правильную версию. Вы также можете найти apt-cache полезным:
apt-cache search prolog РЕДАКТИРОВАТЬ: Я думаю, что проблема в том, что swi-пролог и gprolog находятся в нестабильном разделе. В Fink FAQ объясняется, как включить нестабильную версию. После выполнения этих инструкций вы сможете установить их.
yap появляется в apt-cache, потому что он находится в стабильном разделе. Тем не менее, он не установлен. Если вы решите использовать это, вы все равно должны сделать:
fink install yap