Capas de compatibilidad de Prolog: librerías de programación disponibles

Question

Faltan algunos predicados en una implementación de Prolog, que están disponibles en otros.

Podemos implementar predicados que faltan, llamémosle "Capa de compatibilidad de Prolog".

¿Conoces "Prolog Compatibility Layers" para Prolog (especialmente para GNU-Prolog)?

favor estructurar respuestas en la siguiente forma:

• Título con enlace.
• "Implementado para" - aplicación de prólogo que le gustaría utilizar
• "Compatibilidad con" - aplicación de prólogo para el que se realiza capa de compatibilidad
• "Funciones" - lista de las funciones de compatibilidad (que ¿puede el suyo en negrilla favoritos)
• "Otros detalles" - comentarios, requisitos, limitaciones, etc.
• "licencia" - licencia info

P.S. Pregunta inspirada por otra pregunta: Prolog syntax problem.

Answer 1

YAP, SWI and GNU Prolog compatibility layer

• GNU Prolog compatibility layer
• SWI Prolog Compatibility layer
• YAP Prolog compatibility layer

implementated para: GNU-Prolog, SWI Prolog, YAP Prolog.

Compatibilidad con: SWI-Prolog y otros prólogos

Descripción: (. Compat GNU) "implementa muchos predicados esenciales que se encuentran en SWI Prolog y muchas otras implementaciones Prolog que no están disponibles en GNU Prólogo."

Funciones: (. GNU COMPAT) no/1, is_list/1, succ/2, sformat/3, secuencia/1, is_codes/1, arithmetic_function, eval_arith/2, downcase_atom/2, forall/2, bandera/3, entre/3, gensym/2, el tiempo/1, si/2, si/3, si/4

información adicional: (. GNU Compat) "Además, necesidad de incluir lists.pl desde la distribución de SWI ".

Licencia: Licencia Pública GNU