在SWI-Prolog中，如何将集合列表[ 1，( 2，3)]转换为[ 1，2，3 ]？

Question

我有一个用read/1子句执行用户输入的程序。然后创建一个包含输入信息的列表，如下所示：

write('Input' )
read(Folks),

consult('database.pl.pl'), 
Predic =.. [Inform, [ Name, Bussi, Folks ] ],
assert(Predic),

在磁盘中写入：

Inform(['Juc', 'Rockstar', 'Desprogra', 1899, 1999, ( 'Bill', 'Steven', 'Demi' ) ]).

因此，我不能将()放在列表的末尾：

..., ( 'Bill', 'Steven', 'Demi' ) ]

我知道这是因为，必须读取read(Folks),的：'Bill', 'Steven', 'Demi'。

Answer 1

Prolog没有元组，因为我们可以将它们实现为逗号运算符的递归应用程序。有关一般处理，请阅读有关分析术语的部分。特别是，(=.。)/2经常用于执行结构的参数处理，但这里需要的可能是

conj_list((A,B), [A|Bs]) :- conj_list(B, Bs), !.
conj_list(T, [T]).

(切割位置很重要，请进行实验，看看它能起到什么作用)。现在，完成任务的更简单的代码应该是

?- maplist(conj_list, [1,(2,3)],L), flatten(L, F).
L = [[1], [2, 3]],
F = [1, 2, 3].

Answer 2

让：

superflatten([],A,A).

superflatten([[]|Q],A,R) :- !,
   superflatten(Q,A,R).

superflatten([H|Q],A,R) :-
  H =.. [K|L],
  ( L = [] -> append(A,[K],T1); superflatten(L,A,T1) ),
  superflatten(Q,T1,R).

superflatten(X,R) :- superflatten(X,[],R).

一些查询和回答的例子：

debug]  ?- superflatten([],R).
R = [].

[debug]  ?- superflatten([a,b],R).
R = [a, b].

[debug]  ?- superflatten([a,[b,c]],R).
R = [a, b, c].

[debug]  ?- superflatten([a,[],[b,c]],R).
R = [a, b, c].

[debug]  ?- superflatten([a,(b,c)],R).
R = [a, b, c].

[debug]  ?- superflatten([a,t(b,c)],R).
R = [a, b, c].