Softwareā€Ž > ā€Ž

SWI Prolog

Tutorial SWI-Prolog ā€Žā€Žā€Žā€Ž(Windows)ā€Žā€Žā€Žā€Ž

InstalaciĆ³n

Recomendamos seguir el siguiente instructivo de instalaciĆ³n. Soluciona problemas como la falta de el comando swipl en la consola.Ā 

Funcionamiento

Los programas Prolog hay que editarlos con un editor de texto. Se puede usar el Notepad, pero no conviene, es bastante limitado.

Hayuno que se llama emacs que viene con el SWI.Ā TambiĆ©n se pueden usareditores de texto de uso general, p.ej. el UltraEdit. En la pĆ”gina deĀ editoresĀ contamos algunos tipos sobre cĆ³mo trabajar con los editores. Conviene guardar los archivos con extensiĆ³n .pl.Ā 

ElSWI se usa para hacer consultas a partir de un programa. Hay variasformas de "cargar" un programa en Prolog, mencionamos algunas:

  1. darle doble click al fuente .pl en el administrador de archivos osimilar (p.ej. windows commander), abre el SWI y carga el programa.
  2. abrir el SWI, y despuƩs File -> Consult.
  3. escribir en la lĆ­nea de comando prolog nombreArchivo.pl
  4. abrir el SWI, y en la consola utilizar el predicado consult/1:Ā ?- consult("clase2.pl").

Sihay errores en el programa, aparecen en la ventana de SWI indicando lalƭnea de cada error. TambiƩn pueden aparecer warnings, esos noimportan. Si hay errores (te das cuenta porque la lƭnea correspondienteempieza con ERROR:) el programa no se carga, hay que corregir los errores.

Una vez que se cargĆ³ el programa, las consultas se hacen escribiĆ©ndolas en la ventana del SWI, al lado del prompt ?- . Recordar que las consultas tambiĆ©n tienen que terminar con punto.

Para consultas existenciales, el SWI muestra la primer respuesta. Si quiero mƔs, pulso ; (punto y coma), si no, pulso Enter.

Si pulso ; y responde No es porque no encontrĆ³ mĆ”s respuestas a la consulta.

Sicambio un programa en la ventana del editor y lo grabo, el SWI no seentera. Para que se entere, luego de grabar el archivo modificado, poner

Ā Ā Ā  ?- make.

en la ventana del SWI; esto hace que el SWI levante de nuevo el programa a partir del archivo .pl.

Siquiero cambiar de .pl, tengo que hacer File -> Consult. No vemos enla materia cĆ³mo tener mĆ”s de un .pl cargado al mismo tiempo.

VersiĆ³n online (limitada - no necesita instalaciĆ³n)

http://swish.swi-prolog.org/

Nota:Ā La versiĆ³n instalable es mĆ”s completa, pero se puede zafar en caso de no poder instalarla.