Проблема со списком прологов

Question

[a,b,c,d] and
[[1,2,3,4],[5,6,7,8],[43,34,56,5],[23,32,2,2]]

Я хочу сделать

[[a,1,2,3,4],[b,5,6,7,8],[c,43,34,56,5],[d,23,32,2,2]]

Я использую swi пролог, возможно ли это сделать?

Большое спасибо.

Answer 1

Использовать мета-предикат maplist/4 и Пролог лямбда как это:

?- As  = [a,b,c,d], 
   Bss = [[1,2,3,4],[5,6,7,8],[43,34,56,5],[23,32,2,2]],
   maplist(\H^T^[H|T]^true,As,Bss,Css).
As  = [ a         , b         , c            , d           ],
Bss = [[  1,2,3,4],[  5,6,7,8],[  43,34,56,5],[  23,32,2,2]],
Css = [[a,1,2,3,4],[b,5,6,7,8],[c,43,34,56,5],[d,23,32,2,2]].

---

Редактировать

В вышеприведенной цели maplist/4 могут использоваться разные лямбда-термины, как указано в комментарии.

• maplist(<b>\H^T^[H|T]^true</b>,As,Bss,Css)
• maplist(<b>\H^T^ =([H|T])</b> ,As,Bss,Css)

Answer 2

solve([], [], []).

solve([[X|Y]|S], [X|L1], [Y|L2]):-
  solve(S, L1, L2).

ОБНОВЛЕНИЕ: Как использовать

Запишите функцию в файл "a.pl", затем в виде swi-prolog:

['a.pl'].

затем введите:

solve(X, [a,b,c,d], [[1,2,3,4],[5,6,7,8],[43,34,56,5],[23,32,2,2]]).

Вы получите:

X = [[a, 1, 2, 3, 4], [b, 5, 6, 7, 8], [c, 43, 34, 56, 5], [d, 23, 32, 2, 2]] 

У меня странное ощущение, что я делаю вашу домашнюю работу.Это 1015 *

Answer 3

SWI Prolog может сделать это с двумя короткими предикатами:

merge0(A, B, Prev, Next) :- append(Prev, [[A|B]], Next).
merge(A, B, Result) :- foldl(merge0, A, B, [], Result).

Вот пример ввода и вывода:

a(X) :- X = [a,b,c,d].
b(X) :- X = [[1,2,3,4],[5,6,7,8],[43,34,56,5],[23,32,2,2]].

?- a(A), b(B), merge(A, B, Result).

Result = [[a, 1, 2, 3, 4], [b, 5, 6, 7, 8], [c, 43, 34, 56, 5], [d, 23, 32, 2, 2]].

Answer 4

попробуйте это:

delete(X, [X|T], T).

delete(X, [Y|T], [Y|L]):-
delete(X, T, L).

insert(X, List, BigList):-
  delete(X, BigList, List).

if([],X,X).

if([H1|T1],[H2|T2],[SH|ST]):-
  insert(H1,H2,SH),!,
  if(T1,T2,ST).

Я дважды проверил, все работает.

"if" означает "сначала вставьте".