Extendiendo NetLogo con Prolog

Yo pensaba que no, pero parece ser que hay ligeras diferencias de sintaxis entre GNU-Prolog y SWI-Prolog. En general las cosas básicas son comunes en ambos Prolog, pero por ejemplo me he encontrado con que la negación not/1 no existe en GNU-Prolog, donde se hace la negación con \+/1. Por otro lado, los predefinidos que incluyen uno y otro son distintos. Otra diferencia es que en GNU-Prolog hay que indicar con la directiva discontiguous cuando los elementos de una definición no son continuos. Estas diferencias hacen que muchas de las librerías de SWI-Prolog no sean compatibles con GNU-Prolog, pero este último tiene disponibles algunas librerías propias.

Por todo esto, si se quiere usar la extensión netprologo con algún fichero Prolog generado en SWI-Prolog, recomiendo primero verificar que compila y ejecuta correctamente  en GNU-Prolog, ya que la depuración de errores desde netprologo puede ser bastante pesada. OJO pequeños fallos que en GNU-Prolog son solo Warnings, en netprologo pueden ser Errores, no todos pero si me ha pasado en algún caso.

Como tarea pendiente, queda la de buscar librerías compatibles con GNU-Prolog, y probarlas en netprologo.

Responder

Introduce tus datos o haz clic en un icono para iniciar sesión:

Logo de WordPress.com

Estás comentando usando tu cuenta de WordPress.com. Cerrar sesión / Cambiar )

Imagen de Twitter

Estás comentando usando tu cuenta de Twitter. Cerrar sesión / Cambiar )

Foto de Facebook

Estás comentando usando tu cuenta de Facebook. Cerrar sesión / Cambiar )

Google+ photo

Estás comentando usando tu cuenta de Google+. Cerrar sesión / Cambiar )

Conectando a %s

Nube de etiquetas

A %d blogueros les gusta esto: