搜索 Prolog 结构

Question

我对由大量连词组成的公式感兴趣（更大问题的一部分）。我想编写一个程序，采用如下所示的内容：

:- get_params(conj(conj(a,b),c),X)

并返回连词的所有参数的列表，即 <代码>X=[a,b,c]。目前我可以使用简单的 Prolog 模式匹配来

:- get_params(conj(a,b),X) 来获取 X=[a,b]

但如何您可以执行诸如

:- get_params(conj(conj(a,b),c),X) 之类的操作来获取 X=[a,b,c]

看起来很简单，但我已经奋斗了一整天了！

Answer 1

由于您正在描述一个列表，请考虑使用 DCG 表示法：

params(conj(A,B)) --> !, params(A), params(B).
params(X)         --> [X].

示例：

?- phrase(params(conj(conj(a,b),c)), Ps).
Ps = [a, b, c].

Answer 2

假设所有 conj 函子都是二元的：

get_params(X, Y, L) :- 
  get_params(X, L1),
  get_params(Y, L2),
  append(L1, L2, L).
get_params(conj(X, Y), L) :-
  get_params(X, Y, L), !.
get_params(A, [A]).