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 licencia

PD. Pregunta inspirada por otra pregunta:roblema de sintaxis de @Prolog.