обменивать элементы на основе индекса заданного из другого списка

Question

Здравствуйте моя задача, чтобы поменять элементы списка с индексом, который должен быть заменен в другом списке, так что Fx:

Если у меня есть:

[3,1,2] as the list 

А:

[[1,2],[2,3]] as the index that needs to be swapped 

Затем он должен идти, как:

[1,2] = 3 and 1 getting swapped 
[2,3] = 3 and 2 getting swapped 

Так я бы в конечном итоге с выходом = [1,2,3]

предикат задается быть таким:

swap(C,Input,Output) 

Где C является перечень которых elemenst, который должен быть заменен.

Ввод - это список, который следует поменять местами.

Выход - это список замененных.

Я хотел бы несколько советов о том, как замене этих элементов, основанных на этом, я уже смотрели на это: swap two elements from list with specified indices

Надеется, что кто-то может помочь мне с этим.

Edit:

До сих пор я пытался что-то вроде этого:

swap(Input,[I|J], Input) :- 
    I = J. 
swap(Input, [I|J], Output) :- 
    swap(Input, [I|J], Output, _, _). 
swap(Input, [I|J], Output) :- 
    swap(Input, J, I, Output, _, _). 

swap([E2|Ls], I, 0, [E1|Ls], E1, E2):-!. 
swap([E1|Es], 0, J, [E2|Rs], E1, E2) :- 
    N2 is J - 1, 
    swap(Es, -1, N2, Rs, E1, E2),!. 
swap([E|Es], [I|J], [E|Rs], E1, E2) :- 
    N1 is I - 1, 
    N2 is J - 1, 
    swap(Es, N1, N2, Rs, E1, E2). 

Но я могу использовать только «один» список в качестве индексов, что это должен быть заменен, как [ 1,2], то, что я ищу, - это использовать несколько таких, как [[1,2], [2,3]] и т. Д.

Answer 1

Использование list_i_j_swapped/4

list_i_j_swapped(As,I,J,Cs) :- 
same_length(As,Cs), 
append(BeforeI,[AtI|PastI],As), 
append(BeforeI,[AtJ|PastI],Bs), 
append(BeforeJ,[AtJ|PastJ],Bs), 
append(BeforeJ,[AtI|PastJ],Cs), 
length(BeforeI,I), 
length(BeforeJ,J). 

swap(List,[],List). 
swap(List1,Swaps,ListSwapped):- 
    Swaps =[[Index1,Index2]|T], 
    list_i_j_swapped(List1,Index1,Index2,List2), 
    swap(List2,T,ListSwapped). 

Q:

?- swap([3,1,2],[[0,1],[1,2]],X). 
X = [1, 2, 3] ; 
false. 

Позиции равны нулю, индексированную.

Answer 2

Этот ответ основан на this previous answer by @user27815.

Здесь представлен вариант lambda + meta-predicate!

 
:- use_module (library(lambda)). 

swap2(Ls0, Swaps, Ls) :- 
    foldl (\[I,J]^S0^S^list_i_j_swapped(S0,I,J,S), Swaps, Ls0,Ls). 

Пример запроса:

?- swap2([3,1,2], [[0,1],[1,2]], Xs). 
    X = [1,2,3] 
; false.