Блог

Я изо всех сил пытаюсь определить способ преобразования списка в строку. Этот список является результатом предиката findall.

смотрите ниже мой код.

 edge(a,b).
edge(a,c).
edge(b,c).
edge(c,d).
edge(c,e).
edge(d,e).
edge(f,g).
edge(g,h).

route(X, Z, [])    :-  edge(X, Z).
route(X, Z, [Y|T]) :-  edge(X, Y), route(Y, Z, T).

allways(X, Y) :- findall(E, (route(X, Y, E), write(E), nl), _).
%allways(X, Y) :- findall(E, (route(X, Y, E), with_output_to(atom(_),maplist(write, E)), nl), _).
%allways(X, Y) :- findall(E, (route(X, Y, E), atomic_list_concat(E,'',A), nl), _),write(A).

  

мой вывод

 ?- allways(a,e).
[b,c]
[b,c,d]
[c]
[c,d]
  

ожидаемый результат

 ?- allways(a,e).
bc
bcd
c
cd
  

Я пробовал разные способы преобразования списка в строку, используя предикат with_output_to и предикат atomic_list_concat, но ничего не работает.

Когда вы говорите «строка», что вы имеете в виду?

Существует множество предикатов для объединения списка с атомом. В вашем случае atomic_list_concat/2 звучит примерно так.

Однако ваша проблема заключается в том, как вы написали findall, вы фиксируете неправильную переменную.

 ?- findall(Str, ( route(a, e, E), atomic_list_concat(E, Str) ), Strs),
   forall(member(Str, Strs), format("~w~n", [Str])).
  

или, если вам вообще не нужен список, не используйте findall вообще.

 ?- forall(( route(a, e, E),
            atomic_list_concat(E, Str)
          ),
          format("~w~n", [Str])).