Personalmente, uso gprolog o swipl en el entorno interpretado. Entonces, escribe hechos y reglas en un archivo mydb.pl y abre el intérprete en el mismo directorio. Una vez que aparece el mensaje, puede consultar
['mydb.pl'].
para cargar su base de datos. ahora puede ver las advertencias\errores o comenzar a consultar desde dentro del intérprete de prolog.
Sí, puede usar cualquier editor de texto, incl. EMPUJE. Una vez que haya escrito un archivo fuente de Prolog, diga, file.pl , puede cargarlo en SWI-Prolog así:
swipl -s file.pl
Esto compilará su archivo y lo llevará a un shell interactivo donde podrá realizar consultas sobre las definiciones en su archivo.
Si desea utilizar su programa Prolog en modo por lotes, puede utilizar:
swipl -s file.pl -t goal
donde goal es el objetivo/consulta que desea evaluar. Tenga en cuenta que en este caso no tendrá la opción de solicitar soluciones alternativas.
En Ubuntu, comencé a usar emacs, que al menos resalta la sintaxis:
http://www.swi-prolog.org/FAQ/GnuEmacs.html
(2 sugerencias de emacs en esa página ^)
Pero ahora uso prolog con ira, uso un complemento de Eclipse llamado PDT:
http://sewiki.iai.uni-bonn.de/research/pdt/docs/v2.1/start
Especialmente útil es la depuración y el seguimiento línea por línea en tiempo real, por lo que puede ingresar, pasar por encima de predicados individuales, monitorear nombres de variables, etc., como cualquier otro IDE real que encontraría en Eclipse.
Probablemente solo valga la pena instalarlo si lo va a usar MUCHO, ya que la instalación requiere mucho trabajo, pero es un gran IDE.
Pero si le gustan los editores de bajo nivel como VIM, tendrá que usar las herramientas de depuración y seguimiento integradas en swi-prolog, consulte:
http://www.swi-prolog.org/pldoc/man?section=debugger
Para averiguar cómo funciona el extraño y hermoso intérprete de prólogos, es imprescindible utilizar algún tipo de rastreador.