prologatom concat swi 和 yap prolog

Question

输入：

run([p(X,Y,Z),h(Z,P,Q)],Out).

代码：

:- ensure_loaded(library(lists)).

run([X|Y],Out) :-
   X =.. [Fct|Args],
   X =..Total,
   length(Args,L),
   concat(abs_,L,Fct_A),
   Out =.. [Fct_A|Total].

在 swi prolog 上我得到正确的答案：

A = abs_3(p, X, Y, Z).

在 yap prolog 上失败。看来我应该使用 yap。

我必须使用什么来代替 concat(abs_,L,Fct_A) ？我尝试了atom_codes，但它在原子末尾附加了奇怪的ascii。请帮忙。

Answer 1

在这种情况下，SWI 是不正确的。目标 atom_concat(a,1,X) 必须根据 ISO 产生类型错误； IF、YAP、B、GNU、SICStus、XSB、Ciao 都这样做。在 ISO 中，有 atom_chars/2 和 number_chars/2。所以你想要的是

atom_number_concat(A, N, AN) :-
   number_chars(N, Chs),
   atom_chars(Na, Chs),
   atom_concat(A, Na, AN).

YAP 有一个特殊的内置 atom_number/2 来取代前两个目标。