Exécution de prolog sur un mac

j'ai du mal à lancer SWI-prolog sur mon Mac.

Quand je tape:

/opt/bin/local/swipl

j'obtiens 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é sur terminal et XQuartz. J'ai même été dans

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

pour voir si cela pourrait faire quelque chose, cependant le texte "Welcome" du prolog n'apparaît jamais. Très probablement la plus proche que j'ai jamais eu c'est quand j'ai tapé "pl" lorsque l'intérieur de la MacOS dossier. Cependant, je me suis retrouvé avec mon terminal sans rien faire et j'ai dû utiliser Crtl-D.

y a-t-il quelque chose que je fais de mal? Est-ce que j'ai mal installé quelque chose?

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 aussi téléchargé XQuartz sur recommandation du site web.

21
demandé sur false 2014-02-06 12:46:13

5 réponses

Si vous avez Homebrew installé, vous pouvez simplement exécuter

brew install swi-prolog

à partir du Terminal, qui le construira à partir de la source en une seule commande.

vous pouvez alors exécuter l'interpréteur en utilisant swipl.

58
répondu Simon Hartcher 2016-05-19 05:13:32

il y a trois façons sensées d'installer SWI-Prolog sur MacOS X, dans un ordre croissant de complexité:

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

  2. Utilisant MacPorts. En supposant qu'il soit installé et à jour, tapez simplement l'un ou l'autre sudo port install swi-prolog pour la version stable ou sudo port install swi-prolog-devel pour la version de développement. Remplacez sudo port install par sudo port -u upgrade lors de la mise à jour de la version installée. Si vous utilisez déjà MacPorts, alors /opt/local/bin devrait déjà être dans votre chemin d'accès système. Type echo $PATH dans un Terminal fenêtre pour vérifier.

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

12
répondu Paulo Moura 2014-02-06 11:20:42

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

brew install homebrew/x11/swi-prolog
5
répondu Mounika Kakarla 2015-11-02 23:22:12

Homebrew a déplacé swi-prolog au sommet il y a quelques jours et à cause de cela, les autres réponses ne sont plus valables. La raison en est que la formule swi-prolog était située dans la bouteille x11 mais la dépendance x11 n'est que facultative.

A partir d'aujourd'hui, pour installer swi-prolog avec homebrew, il suffit de faire:

brew install swi-prolog

si vous l'avez installé depuis la bouteille x11 avant, pensez à désinstaller une réinstallation à partir du nouvel emplacement. Sinon, vous risquez de rencontrer des erreurs lors de l' mise à jour/mise à niveau.

2
répondu Andreas_D 2016-05-19 05:11:42

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

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

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

0
répondu Zhanwen Phil Chen 2017-11-23 17:50:20