Prolog兼容性層 - 可用編程庫

在其他Prolog實現中缺少一些謂詞。Prolog兼容性層 - 可用編程庫

我們可以實現缺乏謂詞，我們稱之爲「Prolog兼容層」。

你知道Prolog的「Prolog Compatibility Layers」嗎（特別是對於GNU-Prolog）嗎？

請按以下方式構建的答案：

標題與鏈接。
「實施爲」 - 序言實現你可能會想用
「與兼容性」 - 針對兼容層做
「功能」序言實施 - 的兼容性函數列表（你可以大膽的你的最愛）
「附加信息」 - 意見，要求，限制等
「許可證」 - 許可證信息

P.S.由另一個問題啓發的問題：Prolog syntax problem。

來源

2011-08-22 Grzegorz Wierzowiecki

YAP, SWI and GNU Prolog compatibility layer

Implementated爲： GNU-的Prolog，SWI的Prolog，YAP Prolog的。

兼容於： SWI-Prolog的和其他Prologs

說明：SWI的Prolog 和許多其他的Prolog實現發現（GNU COMPAT。）「實現了許多重要的謂詞所不具備在GNU序言「。

功能：（GNU COMPAT）不/ 1，is_list/1，SUCC/2，sformat/3，串/ 1，is_codes/1，arithmetic_function，eval_arith/2，downcase_atom/2，forall的/ 2，標誌/ 3，之間/ 3，gensym/2，時間/ 1，如果/ 2，如果/ 3，如果/ 4

附加信息：（GNU COMPAT）「此外，還需要包含來自SWI發行版的lists.pl。「

許可： GNU公共許可證

來源

2011-08-22 18:12:59

示例答案 - >如何格式化等。 –

請注意，與此同時，其中一些謂詞是GNU的一部分，因爲它們是Prolog序言的一部分：succ/1，介於/ 3之間。 – false

Prolog兼容性層 - 可用編程庫

回答

相關問題