para - run swi prolog linux

Programación Prolog en Ubuntu

Question

Tengo un interés en jugar y mezclar con prolog, he instalado el swi-prolog y agregado el repositorio, por si acaso alguien está interesado en cuál comando he usado:

% sudo apt-add-repository ppa:swi-prolog/stable
% sudo apt-get update
% sudo apt-get install swi-prolog

¿Cómo empiezo a escribir códigos prolog en mi máquina Linux? para mi programación regular utilizo VIM para escribir / editar / depurar y terminal para compilar. ¿Puedo usar vim para escribir prolog? ¿Cómo compilo o uso el intérprete de prólogo (creo que así se llama)?

Answer 1

Sí, puedes usar cualquier editor de texto, incl. EMPUJE. Una vez que haya escrito un archivo fuente de prólogo, digamos file.pl , puede cargarlo en swi-prolog así:

swipl -s file.pl

Esto compilará su archivo y lo llevará a un intérprete interactivo donde podrá luego realizar consultas en contra de las definiciones en su archivo.

Si desea usar su programa Prolog en modo por lotes, puede usar:

swipl -s file.pl -t goal

donde el goal es el objetivo / consulta que desea evaluar. Tenga en cuenta que en este caso no tendrá la opción de solicitar soluciones alternativas.

Answer 2

En Ubunutu, comencé a usar emacs, que al menos tiene resaltado de sintaxis:

http://www.swi-prolog.org/FAQ/GnuEmacs.html

(2 sugerencias emacs en esa página ^)

Pero ahora uso Prolog enojado, uso un plugin de Eclipse llamado PDT:

http://sewiki.iai.uni-bonn.de/research/pdt/docs/v2.1/start

Especialmente útil es la depuración y rastreo de línea en línea en tiempo real, para que pueda entrar, pasar sobre predicados individuales, monitorear nombres de variables, etc., al igual que otro IDE real que encontraría en eclipse.

Probablemente solo valga la pena instalarlo si va a usarlo MUCHO, ya que la instalación es mucho trabajo, pero es un IDE excelente.

Pero si te gustan los editores de bajo nivel como VIM, deberás usar las herramientas de depuración y rastreo integradas en swi-prolog, mira:

http://www.swi-prolog.org/pldoc/man?section=debugger

Para saber cómo funciona el extraño y hermoso intérprete de prólogos, utilizar un rastreador de algún tipo es imprescindible.