Capas de compatibilidad de Prolog - bibliotecas de programación disponibles
Faltan algunos predicados en una implementación de Prolog, que están disponibles en otras.
Podemos implementar predicados que faltan, llamemos a esto "Capa de compatibilidad de Prolog".
¿Conoce "Capas de compatibilidad de Prolog" para Prolog (especialmente para GNU-Prolog)?
Por favor, estructura las respuestas de la siguiente manera:
Títul con enlace. "Implementado para" - implementación de prólogo que te gustaría usar "Compatibilidad con": implementación de prólogo para la que se realiza la capa de compatibilidad "Funciones" - lista de funciones de compatibilidad (puedes poner en negrita tus favoritas)"Información adicional" - comentarios, requisitos, limitaciones, etc."Licencia" - información de licenciaPD. Pregunta inspirada por otra pregunta:roblema de sintaxis de @Prolog.