web-dev-qa-db-fra.com

Exécuter Prolog sur un Mac

J'ai le plus de mal à essayer d'exécuter SWI-prolog sur mon Mac.

Quand je tape:

/opt/bin/local/swipl

Je reçois une erreur disant:

/opt/local/bin/swipl: No such file or directory

Quand je tape juste "swipl" j'obtiens:

swipl: command not found

J'ai essayé cela sur le terminal et sur XQuartz. Je suis même entré dans

/Applications/SWI-Prolog.app/Contents/MacOS

pour voir si cela ferait quelque chose, cependant le texte prologue "Bienvenue" n'apparaît jamais. Il est très probable que le plus proche que je l'ai fait fonctionner était quand j'ai tapé "pl" dans le dossier MacOS. Cependant, je suis resté avec mon terminal sans rien faire et j'ai dû utiliser Crtl-D.

Y a-t-il quelque chose que je fais mal? Ai-je installé quelque chose de mal?

Je cours sur un Mac OS X 10.9.1 Mavericks. J'ai placé l'application SWI-Prolog dans mon dossier d'application et j'ai également téléchargé XQuartz selon les recommandations du site Web.

macosinstallosx-mavericksswi-prolog
26
user3278629

Il existe trois façons judicieuses d'installer SWI-Prolog sur MacOS X, dans un ordre croissant de complexité:

  1. Téléchargez l'application SWI-Prolog. Dans ce cas, il vous suffit de télécharger une image disque, de l'ouvrir et de faire glisser l'application sur votre disque (par exemple, dans votre dossier Applications. Vous utilisez l'application comme n'importe quelle autre application en double-cliquant sur son icône. Si vous souhaitez également utiliser le binaire à l'intérieur du bundle d'application, ajoutez le Contents/MacOS répertoire à l'intérieur vers votre chemin système (par exemple, en supposant que vous avez copié l'application SWI-Prolog dans votre dossier d'applications, faites export PATH=/Applications/SWI-Prolog.app/Contents/MacOS:$PATH dans votre fichier de configuration Shell).

  2. Utilisation de MacPorts. En supposant qu'il est installé et à jour, tapez simplement Sudo port install swi-prolog pour la version stable ou Sudo port install swi-prolog-devel pour la version de développement. Remplacer Sudo port install par Sudo port -u upgrade lors de la mise à niveau de la version installée. Si vous utilisez déjà MacPorts, alors /opt/local/bin devrait déjà être dans votre chemin système. Tapez echo $PATH dans une fenêtre Terminal pour vérifier.

  3. Compilation à partir de sources. Dans ce cas, téléchargez l'archive source, décompressez-la et suivez les instructions du README.MacOSX fichier.

13
Paulo Moura

Le Captian OSX EI a cette commande pour l'installation de swi-prolog

brew install homebrew/x11/swi-prolog
5
Mounika Kakarla

Homebrew a déplacé swi-prolog vers le haut il y a quelques jours et pour cette raison, les autres réponses ne sont plus valides. La raison de cela: la formule swi-prolog était située dans la bouteille x11 mais la dépendance x11 n'est qu'optionnelle.

À partir d'aujourd'hui, pour installer swi-prolog avec homebrew, faites simplement:

brew install swi-prolog

Si vous l'avez déjà installé à partir de la bouteille x11, envisagez de désinstaller une réinstallation à partir du nouvel emplacement. Sinon, vous pourriez rencontrer des erreurs lors de la mise à jour/mise à niveau.

2
Andreas_D

Si vous téléchargez application SWI-Prolog dans votre /Applications dossier, puis ajoutez-le à votre .bash_profile:

export PATH="/Applications/SWI-Prolog.app/Contents/MacOS:$PATH"

Le binaire swipl réside dans ce répertoire MacOS. (N'oubliez pas de source ~/.bash_profile après)

2
Zhanwen Chen

Il y a maintenant une image docker pratique .

0
BHBH