Mac OS X: Tentando instalar o prólogo usando o fink

Question

Estou tentando instalar o prólogo no Mac OS X 10.4.11.

Acabei de fazer o download do fink porque acho que isso deve me ajudar e estou tentando:

Pacote swi-prolog-5.8.1-2

ou

Pacote gprolog-1.3.1-1

Mas eu não estou tendo sorte.

Aqui está o que eu estava fazendo:

% 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'!
% 

Pergunta 1 : estas são as que eu quero baixar?

Pergunta 2 : Por que o fink não está funcionando?

Atualizar

% apt-cache search prolog --full
Package: yap
Source: yap
Version: 4.4.4-1002
Priority: optional
Section: languages
Maintainer: Matthias Neeracher <[email protected]>
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 <[email protected]>
builddependsonly: Undefined

Pergunta: Isso significa que o Prolog está instalado? Como descubro onde?

    

Answer 1

Eu acredito que deveria ser:

fink install swi-prolog

O nome do pacote é swi-prolog. O Fink cuidará da versão correta. Você também pode achar útil o apt-cache:

apt-cache search prolog

EDIT: Acho que o problema é que swi-prolog e gprolog estão na seção instável. O FAQ do Fink explica como ativar a instável. Depois de seguir essas instruções, você poderá instalá-las.

O

yap aparece no apt-cache porque está na seção estável. No entanto, não está instalado. Se você optar por usar isso, ainda terá que fazer:

fink install yap