tutorial - Buen IDE para empezar con prolog

prolog tutorial

Question

Necesito comenzar a aprender Prolog por mi trabajo.

No he usado Prolog anteriormente y mi empresa necesita construir un programa que use Prolog.

Entonces el programa se usará comercialmente.

Entonces algunas preguntas:

1) ¿Prolog usa un compilador para compilar los programas? Como gcc hace por c?

2) ¿Hay un estándar comercial de Prolog? Solo he oído hablar de SWI Prolog.

3) He estado usando GNU Emacs con Linux por muchos años. Estoy pensando en usar el paquete Prolog.el? ¿Algún comentario sobre eso?

Muchas gracias por cualquier respuesta,

Answer 1

1. ¡El IDE de Prolog más elaborado con el que estoy familiarizado es el IDE basado en Eclipse para Amzi! Prólogo. Este es un producto comercial, pero el IDE se puede descargar y usar de forma gratuita en la edición para estudiantes. Podría ser ideal para un programador Prolog principiante. Descargo de responsabilidad: puedo ser parcial porque ofrezco muchos consejos gratuitos en el foro de soporte de Amzi! Creo que hay un plugin Eclipse de código abierto que también soporta algunas de las implementaciones de código abierto de Prolog. Actualización (mayo, 2016) ¡Amzi! Prolog v. 10 ahora se ha convertido en código abierto con una licencia tipo MIT.

2. Aunque SWI-Prolog es de código abierto (GPL), es posible desarrollar aplicaciones comerciales con él, como con muchas otras implementaciones de código abierto de Prolog como GNU Prolog y YAP. ¡Además de Amzi! Prolog hay varios otros productos comerciales. Visual Prolog es lo suficientemente diferente del estándar ISO para Prolog que la mayoría de los programadores de Prolog no lo consideran "prólogo real". SICStus Prolog es una implementación comercial de Prolog compatible con ISO. Hay algunos otros que son similares a Prolog pero con extensiones sustanciales, como ECLiPSe (que no debe confundirse con el IDE) y Mercury. Varias implementaciones comerciales de Prolog se han vuelto obsoletas a lo largo de los años, como cuando IFPRolog fue reemplazado por MINERVA. Aquí hay una lista de implementaciones de 2006.

3. Conozco a muchos programadores que hablan muy bien del modo Prolog para EMACS de GNU. Sin embargo, creo que un principiante se beneficiaría de un depurador / editor integrado como Amzi. Prolog ofrece SWI-Prolog tiene un IDE gráfico en construcción basado en XPCE, que es la biblioteca de interfaz gráfica que SWI-Prolog ha elegido para el desarrollo multiplataforma. Casi todos los editores de programadores proporcionarán resaltado de sintaxis para Prolog, con el archivo de definiciones correcto instalado.

Answer 2

Además de lo que ya dijo gusbro: SWI-Prolog es, creo, el mejor Prólogo para aprender. Puede que no sea la implementación más rápida, pero tiene bastantes cambios, como la edición de línea de comandos y un editor incorporado tipo Emacs, es un software gratuito y es fácil de instalar tanto en Windows como en Linux (y Mac OS X también, creo) Está implementado como un compilador de códigos de bytes para una máquina virtual, como la mayoría de los Prologs; incluso los que producen código nativo a menudo usan una máquina virtual en algún momento.

Los conceptos básicos de Prolog son muy similares entre las implementaciones; Las extensiones no estándar, como bibliotecas adicionales, interfaces de sistema operativo, programación de restricciones, etc. tienden a ser un poco diferentes.

Existen varias interfaces de interfaces Prolog-Java y Prolog-C #. SWI tiene extensiones que le permiten funcionar como un servidor web.

Answer 3

Estoy usando el swi-prolog built in ide para desarrollo comercial.

Dependiendo de su sistema operativo, es posible que deba comenzar con swipl-win.exe o xpce para obtener el entorno gráfico

Answer 4

Estoy usando un complemento IDE de eclipse llamado PDT . La instalación es bastante fácil y creo que es un ambiente agradable. Después de la instalación, puede seguir las instrucciones en la " página de inicio " para finalizar su instalación y ponerlo en funcionamiento.

Answer 5

Generalmente puede compilar su proyecto de prólogo. Sin embargo, dependiendo del entorno de prólogo que esté utilizando, podría ser un código intermedio y no directamente ejecutable. SWI Prolog y Sicstus prolog permiten generar un ejecutable de este formulario (incorporando el intérprete junto con el código intermedio compilado). Otros prólogos como Arity Prolog / 32 se compilan directamente en un ejecutable x86. Hay una página en Wikipedia que compares varios sistemas de prólogos.

Hay un estándar ISO para Prolog. Sin embargo, casi todos los sistemas de prólogos serán en su mayoría compatibles entre sí, lo que requerirá cambios menores para transferir el código de un sistema de prólogo a otro.

Answer 6

si está acostumbrado a trabajar en un entorno de emacs, debería intentar usar la distribución de Ciao. Tiene muchas características interesantes y potentes, bibliotecas, y también es licencia GNU LGPL. Altamente documentado y compatible. Ir a http://ciaohome.org/

Answer 7

SICStus Prolog tiene un IDE basado en Eclipse . El SICStus IDE tiene muchas características avanzadas que no se encuentran en productos competidores, gratuitos o comerciales. Entre otras cosas, detecta errores de sintaxis y otros errores comunes a medida que escribe, lo que puede ser especialmente valioso para un principiante.

SICStus también tiene un modo Emacs pero no ofrece toda la funcionalidad del IDE basado en Eclipse.

Puede descargar una evaluación de SICStus Prolog desde la página de inicio .

Soy parcial, soy uno de los desarrolladores de SICStus Prolog y el desarrollador de SICStus Prolog IDE.