Mac OS X: попытка установить пролог с помощью fink

Я пытаюсь установить пролог на Mac OS X 10.4.11.

Я только что скачал fink, потому что я думаю, что это должно помочь мне, и я пытаюсь получить либо:

Пакет swi-prolog-5.8.1-2

или же

Пакет гпролог-1.3.1-1

Но мне не повезло.

Вот что я делал:

% fink install swi-prolog-5.8.1-2
Information about 1723 packages read in 0 seconds.
Failed: no package found for specification 'swi-prolog-5.8.1-2'!
%

Вопрос 1: Это то, что я хочу скачать?

Вопрос 2: почему не работает fink?

Обновить

% apt-cache search prolog --full
Package: yap
Source: yap
Version: 4.4.4-1002
Priority: optional
Section: languages
Maintainer: Matthias Neeracher <neeracher@mac.com>
Depends: readline-shlibs (>= 4.3-1028), gmp-shlibs (>= 4.1.4-1), libmpfr1-shlibs, darwin (>= 8-1)
Architecture: darwin-i386
Filename: dists/fink-0.8.1/main/binary-darwin-i386//languages/yap_4.4.4-1002_darwin-i386.deb
Size: 2112546
Installed-Size: 6400
MD5sum: f78c8cd4534426ac799dae84ff3fea14
Description: Yet another prolog
 A high speed implementation of the Prolog programming language.
 .
 Web site: http://yap.sourceforge.net
 .
 Maintainer: Matthias Neeracher <neeracher@mac.com>
builddependsonly: Undefined

Вопрос: Значит ли это, что Prolog установлен? Как мне узнать где?

Источник

1 ответ

Решение

Я считаю, что это должно быть:

fink install swi-prolog

Название пакета - swi-prolog. Финк позаботится о том, чтобы получить правильную версию. Вы также можете найти apt-cache полезным:

apt-cache search prolog

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

yap появляется в apt-cache, потому что он находится в стабильном разделе. Тем не менее, он не установлен. Если вы решите использовать это, вы все равно должны сделать:

fink install yap
Источник
Другие вопросы по тегам