Livelli di compatibilità Prolog - librerie di programmazione disponibili

Question

C'è una mancanza di alcuni predicati in una delle implementazioni Prolog, che sono disponibili in altre.

Siamo in grado di implementare predicati mancanti, chiamiamo questo "Prolog Compatibility Layer".

Conoscete "Prolog Compatibility Layers" per Prolog (in particolare per GNU-Prolog)?

Si prega di strutturare le risposte in modo seguente:

• Titolo con il collegamento.
• "Implementato per" - Prolog implementazione come si potrebbe utilizzare
• "Compatibilità con" - implementazione Prolog per la quale livello di compatibilità è fatto
• "Funzioni" - elenco delle funzioni di compatibilità (si possono Distinti grassetto favoriti)
• "Ulteriori informazioni" - commenti, requisiti, ecc limitazioni
• "licenza" - informazioni sulla licenza

P.S. Domanda ispirata da un'altra domanda: 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 per: GNU-Prolog, SWI Prolog, YAP Prolog.

Compatibilità con: SWI-Prolog e altri Prologs

Descrizione: (. GNU Compat) "implementa molti predicati essenziali trovato in SWI Prolog e molte altre implementazioni Prolog che non sono disponibili in GNU Prolog."

Funzioni: (. GNU Compat) non/1, is_list/1, succ/2, sformat/3, stringa/1, is_codes/1, arithmetic_function, eval_arith/2, downcase_atom/2, forall/2, la bandiera/3, tra/3, gensym/2, il tempo/1, se/2, se/3, se/4

Ulteriori informazioni: (. GNU Compat) "Inoltre, è è necessario includere lists.pl dalla distribuzione SWI. "

licenza: GNU Public License