Solución:
Sí, puede utilizar 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 luego 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
dónde 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 Ubunutu, 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 rastreo línea por línea en tiempo real, para que pueda pasar por encima de predicados individuales, monitorear nombres de variables, etc. al igual que cualquier otro IDE real que encontraría en eclipse.
Probablemente solo valga la pena instalarlo si lo vas 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ólogo, es imprescindible utilizar un trazador de algún tipo.
Yo personalmente uso gprolog o swipl en el entorno interpretado. Así que escribe hechos y reglas en un archivo mydb.pl y abre el intérprete en el mismo directorio. Una vez que aparezca el mensaje, puede consultar
['mydb.pl'].
para cargar su base de datos. ahora puede ver las advertencias errores o comenzar a consultar desde el intérprete de prólogo.