Há uma falta de alguns predicados nas implementações de um Prolog, disponíveis em outro

Podemos implementar falta de predicados, vamos chamar isso de "Camada de compatibilidade de prólogo"

Você conhece "Camadas de compatibilidade do Prolog" para o Prolog (especialmente para o GNU-Prolog)?

Estruture as respostas da seguinte maneira:

Títul com link. "Implementado para" - implementação de prólogo que você gostaria de usar "Compatibilidade com" - implementação de prólogo para a qual a camada de compatibilidade é feita"Funções" - lista de funções de compatibilidade (você pode colocar seus favoritos em negrito)"Informação adicional" - comentários, requisitos, limitações etc."Licença" - informações da licença

P.S. Pergunta inspirada em outra pergunta: Problema na sintaxe do prólogo.