macos - visit - swi prolog español

Ejecutando prolog en un mac

Question

Estoy teniendo los problemas más difíciles al ejecutar el prólogo SWI en mi Mac.

Cuando escribo:

/opt/bin/local/swipl

Me sale un error diciendo:

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

Cuando acabo de escribir "swipl" me sale:

swipl: command not found

He intentado esto en ambos terminales y XQuartz. Incluso he entrado

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

para ver si eso haría algo, sin embargo, el texto "Bienvenido" del prólogo nunca aparece. Probablemente, lo más cercano que pude hacer funcionar fue cuando escribí "pl" cuando estaba dentro de la carpeta de MacOS. Sin embargo, me quedé con mi terminal sin hacer nada y tuve que usar Crtl-D.

¿Hay algo que estoy haciendo mal? ¿Instalé algo incorrectamente?

Estoy corriendo en un Mac OS X 10.9.1 Mavericks. Coloqué la aplicación SWI-Prolog en la carpeta de mi aplicación y también descargué XQuartz por recomendación del sitio web.

Answer 1

El OSX EI Captian tiene este comando para la instalación de swi-prolog

brew install homebrew/x11/swi-prolog

Answer 2

Hay tres formas razonables de instalar SWI-Prolog en MacOS X, en orden creciente de complejidad:

1. Descarga la aplicación SWI-Prolog. En este caso, simplemente descarga una imagen de disco, la abre y arrastra la aplicación a su disco (por ejemplo, a su carpeta de Applications . Puede utilizar la aplicación como cualquier otra aplicación haciendo doble clic en su icono. Si desea usar también el binario dentro del paquete de aplicaciones, agregue el directorio Contents/MacOS dentro de su ruta del sistema (por ejemplo, suponiendo que copió la aplicación SWI-Prolog a su carpeta de aplicaciones, export PATH=/Applications/SWI-Prolog.app/Contents/MacOS:$PATH en su archivo de configuración de shell).

2. Utilizando MacPorts. Suponiendo que esté instalado y actualizado, simplemente escriba sudo port install swi-prolog para la versión estable o sudo port install swi-prolog-devel para la versión de desarrollo. Reemplace sudo port install por sudo port -u upgrade cuando actualice la versión instalada. Si ya está utilizando MacPorts, entonces /opt/local/bin ya debería estar en la ruta de su sistema. Escriba echo $PATH en una ventana de Terminal para verificar.

3. Compilación de fuentes. En este caso, descargue el archivo fuente, descomprímalo y siga las instrucciones del archivo README.MacOSX .

Answer 3

Homebrew ha movido swi-prolog a la cima hace unos días y debido a esto, las otras respuestas ya no son válidas. El motivo de esto: la fórmula de swi-prolog se ubicó en la botella x11, pero la dependencia x11 es solo opcional.

A partir de hoy, para instalar swi-prolog con homebrew, simplemente haga:

brew install swi-prolog

Si ya lo ha instalado desde la botella x11, considere desinstalar una reinstalación de la nueva ubicación. De lo contrario, podría encontrarse con errores al actualizar / actualizar.

Answer 4

Si descarga la aplicación SWI-Prolog en su carpeta /Applications , agregue esto a su .bash_profile :

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

El binario swipl vive en ese directorio de MacOS. (No olvides la source ~/.bash_profile después)

Answer 5

Si tiene Homebrew instalado, simplemente puede ejecutar

brew install swi-prolog

desde la Terminal, que lo construirá desde la fuente en un comando.

A continuación, puede ejecutar el intérprete utilizando swipl .