没有函子的 prolog 术语

Question

我面临着有关列表和术语的序言问题。那么我的问题是如何编写一个谓词

transform([a,b],X)

将返回 X = (a,b) 或反之亦然

这对我来说很奇怪，因为我以前从未遇到过这样的术语。我尝试使用内置 =.. 但

=..((a,b,c,d),X)

返回 X=[',',a,(b,c,d)] 这让我深感失望。 谢谢。

Answer 1

检查如下内容：

transform([A], A):-
  A=..[_].
transform([A,B], (A,B)):-
  B=..[_].
transform([A,B,C|Tail], L):-
  L=..[',',A,T],
  transform([B,C|Tail], T).

仅当您想要转换（[Item]，Item）时才需要第一个子句。

?- transform([a,b], X).
X = (a, b) 

?- transform([a,b,c,d,e,f], X).
X = (a, b, c, d, e, f) 

?- transform(L, (a,b,c,d,e,f,g))
L = [a, b, c, d, e, f, g] 

请注意，您正在构建的术语确实有一个函子，它是 ','/2，并且它显示在您看到的括号中。