5

1つのProlog実装には、他の実装で使用可能ないくつかの述語がありません。

不足している述語を実装することができます。これを「Prolog互換性レイヤー」と呼びましょう。

Prolog（特にGNU-Prolog）の「Prolog互換性レイヤー」を知っていますか？

次のように回答を構成してください。

  • リンク付きのタイトル。
  • 「Implementedfor」 -使用したいプロローグの実装
  • 「互換性」 -互換性レイヤーが行われるプロローグの実装
  • 「関数」 -互換性関数のリスト（お気に入りを太字にすることができます）
  • 「追加情報」 -コメント、要件、制限など。
  • 「ライセンス」 -ライセンス情報

別の質問に触発されたPS質問：プロローグ構文の問題。

4

1 に答える 1

4

YAP、SWI、GNUProlog互換性レイヤー

実装対象： GNU-Prolog、SWI Prolog、YAPProlog。

互換性： SWI-Prologおよび他のProlog

説明：（GNU Compat。）「SWIPrologおよびGNUPrologでは利用できない他の多くのProlog実装に見られる多くの重要な述語を実装します。」

関数：（GNU Compat。）not / 1、is_list / 1、succ / 2、sformat / 3、string / 1、is_codes / 1、arithmetic_function、eval_arith / 2、downcase_atom / 2、forall / 2、flag / 3、between / 3、gensym / 2、time / 1、if / 2、if / 3、if / 4

追加情報：（GNU Compat。）「さらに、SWIディストリビューションのlists.plを含める必要があります。」

ライセンス： GNUパブリックライセンス

于 2011-08-22T18:12:59.340 に答える