0

我正在尝试编写一个执行以下操作的程序：

?- g([2,3, [22,[3],9] ,4,[5],99],X).

X= [2,3,22,[3],9 ,4,5,99]

因此它在给定列表中搜索列表，并将其替换为不带括号 [] 的元素。

所以我写了这个程序：

第一个块只搜索列表中的第一个元素，
如果没有这样的元素，它会返回[there_is_no_list]。

first_list_in_the_list([],[there_is_no_list]):-!.  
first_list_in_the_list([H|_],X):-is_list(H),X=H,!.  
first_list_in_the_list([_|T],X):-first_list_in_the_list(T,X).

第一个块完美地在 prolog 中工作。

第二个块只是在列表中搜索元素 X，然后将列表拆分为两个列表，一个是 X 之前的所有元素的列表，第二个是 X 之后的元素。

splite_when_find_element([H|T],H,[],T):-!.  
splite_when_find_element([H|T],X,F,G):-
    splite_when_find_element(T,X,F1,G),append([H],F1,F).

它在 Prolog 中也可以正常工作。

第三个块是追加，它将两个列表连接在一起形成一个新列表。

append([],L,L).  
append([H|T],L,[H|U1]):- append(T,L,U1).

最后一部分是：

gg(L,L):-first_list_in_the_list(L,[there_is_no_list]),!.    
gg(L,U):-first_list_in_the_list(L,X),
         splite_when_find_element(L,X,F,G),gg(G,R),append(F,X,E),
         append(E,R,U).

当我给query [2,[3],5]我时，我也得到了[2,[3],5]，我真的不明白为什么会这样。

4

3 回答 3

2

一个简单的递归解决方案也将起作用。递归由输入列表的头部完成。在不平凡的情况下，当头部本身是一个列表时，我们只需将扁平列表的其余部分附加到它上面。在下面的代码中，它还没有在 中变平Rest，append(H, Rest, Out)但是在递归调用g(In, Rest). 在追加调用之后进行剪切确保回溯不会考虑最后一种情况，即头部将按原样出现在输出中。

% Base case, empty list.

g([], []).

% First recursive case: head is list.
% Append remaining elements to it.

g([H|In], Out):-
    append(H, Rest, Out), !,
    g(In, Rest).

% Second recursive case: head is not list.
% Will appear as-is in the output.

g([H|In], [H|Out]):-
    g(In, Out).
于 2013-08-09T09:17:57.920 回答
1

DCG也可以

lev, X --> [X], {is_list(X)}, lev.
lev, [X] --> [X], lev.
lev --> [].

测试：

?- phrase(lev,[a,[b,c,[d]],e],L).
L = [a, b, c, [d], e] .
于 2013-08-09T10:14:28.437 回答
0

要展平嵌套列表的 1 级，请尝试以下操作：

flatten1( Xs , Ys ) :-        % to flatten a list
  flatten1( Xs , [] , Ys ) ,  % - invoke the worker predicate
  .                           %

flatten1( [] , T , R ) :-          % if we get to to the empty list
  reverse(T,R)                     % - just reverse the accumulator and we're done.
  .                                %
flatten1( [X|Xs] , T , R ) :-      % if the head of the list is unbound 
  var(X) ,                         % - check for being a var 
  ! ,                              % - cut (to eliminate problems on backtracking
  T1 = [X|T] ,                     % - prepend the head of the list to the accumulator
  flatten( Xs , T1 , R )           % - and recurse down
  .                                %
flatten1( [[]|Xs] , T , R ) :-     % if head of the list is an empty list, skip it
  flatten1( Xs , T , R )           % - ignore it and recurse down
  .                                %
flatten1( [[X|Ns]|Xs] , T , R ) :- % if head of the list is a non-empty list
  X1 = [Ns|Xs] ,                   % - prepend the tail of the sublist to the list
  T1 = [X|T] ,                     % - prepend the head of the sublist to the accumulator
  flatten( X1 , T1 , R )           % - and recurse down
  .                                %
flatten( [X|Xs] , T , R ) :-       % if the head of the list is something else (except an unbound variable)
  T1 = [X|T] ,                     % - prepend the list head to the accumulator and
  flatten( Xs , T1 , R )           % - recurse down
  .                                %
于 2013-08-09T00:31:56.853 回答