不同Prolog实现的兼容性层

我认为ISO Prolog应该是通用的子集参考。

但图书馆是 大量的 问题事实上,我在尝试将SWI-Prolog片段移植到YAP时遇到了一个问题。

...
:- use_module(library(assoc)).
:- use_module(library(aggregate)).
...

assoc库在这些系统中的实现方式不同,我无法使YAP版本正常工作(如果我记得很清楚的话,gen_assoc((R,C),GridC,Char)有不同的 语义的 ). 此外,图书馆(集合)在YAP下也存在问题。

到 conditionally compile 在这两个系统中,我尝试

/*  File:    prolog_impl.pl
    Author:  Carlo,,,
    Created: Jan 26 2013
    Purpose: handle SWI/YAP portability issue
*/

:- module(prolog_impl, [swi/0, yap/0, prolog_impl/1]).

swi :- prolog_impl(swi).
yap :- prolog_impl(yap).

prolog_impl(K) :-
    F =.. [K,_,_,_,_],
    current_prolog_flag(version_data, F).

但我当然对此不满意。我希望你的问题能给这个问题带来一些答案。

Logtalk提供了一个与支持B-Prolog、CxProlog、ECLiPSe、GNU Prolog、Lean Prolog、Qu Prolog、SICStus Prolog、SWI-Prolog、XSB和YAP的可移植库的兼容性层。有关其库的文档可在以下位置找到:

http://logtalk.org/library/index.html

http://logtalk.org/library/library_diagram.pdf

在对您问题的回答中提到的“assoc”库的具体情况下,Logtalk提供了一个协议(又名接口)“dictionaryp”和该协议的两个实现,“bintree”和“rbtree”。