在SWI-Prolog中,如何转换,转换,变异,渐进,将集合列表[1,(2,3)]更改为[1,2,3]?

时间:2015-05-25 18:55:14

标签: prolog swi-prolog

我有一个用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'

2 个答案:

答案 0 :(得分:1)

Prolog没有元组,因为我们可以将它们实现为逗号运算符的递归应用程序。有关常规处理,请阅读有关analysing terms的部分。特别是,(=..)/ 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].

答案 1 :(得分:1)

让:

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].