Mac OS X: Versuch, Prolog mit Fink zu installieren

995
sixtyfootersdude

Ich versuche, Prolog unter Mac OS X 10.4.11 zu installieren.

Ich habe gerade Fink heruntergeladen, weil ich denke, dass das mir helfen sollte und ich versuche, entweder:

Paket swi-prolog-5.8.1-2

oder

Paket gprolog-1.3.1-1

Aber ich habe kein Glück.

Folgendes habe ich gemacht:

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

Frage 1 : Soll ich das herunterladen?

Frage 2 : Warum funktioniert Fink nicht?


Aktualisieren

% 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 

Frage: Bedeutet das, dass Prolog installiert ist? Wie erfahre ich wo?

0

1 Antwort auf die Frage

1
Matthew Flaschen

I believe it should be:

fink install swi-prolog 

The package name is swi-prolog. Fink will take care of getting the right version. You may also find apt-cache helpful:

apt-cache search prolog 

EDIT: I think the issue is that swi-prolog and gprolog are in the unstable section. The Fink FAQ explains how to turn unstable on. After following those instructions, you should be able to install them.

yap comes up in apt-cache because it is in the stable section. However, it's not installed. If you choose to use that, you still have to do:

fink install yap 
`fink install swi-prolog`: liefert exakt die gleiche Ausgabe sixtyfootersdude vor 13 Jahren 0
"% apt-cache search prolog" Produziert: "yap - Noch ein Prolog" sixtyfootersdude vor 13 Jahren 0