154
proper_addresses([1,2,3,4,5,6],ALL),mergesort(ALL,A).
ALL=
[address([3,2,1],1),address([3,2,1],2),address([2,1],1),address([2,1],2
),address([2,1],3),address([3,1],0),address([3,1],1),address([3,1],2),a
ddress([3,1],3),address([3,1],4),address([1],0),address([1],1),address(
[1],2),address([1],3),address([1],4),address([1],5),address([2,4],0),ad
dress([2,4],1),address([2,4],2),address([2,4],3),address([2,6],0),addre
ss([2,6],1),address([2,6],2),address([2,6],3),address([3,4],0),address(
[3,4],1),address([3,4],2),address([3,4],3),address([3,6],0),address([3,
6],1),address([3,6],2),address([3,6],3),address([4],0),address([4],1),a
ddress([4],2),address([4],3),address([6],0),address([6],1),address([6],
2),address([6],3),address([],0)]
A=
[address([],0),address([1],0),address([1],1),address([1],2),address([4]
,0),address([4],1),address([4],2),address([6],0),address([6],1),address
([6],2),address([6],3),address([4],3),address([1],3),address([1],4),add
ress([2,1],1),address([2,1],2),address([2,4],0),address([2,4],1),addres
s([2,4],2),address([2,6],0),address([2,6],1),address([2,6],2),address([
2,6],3),address([2,4],3),address([2,1],3),address([1],5),address([3,1],
0),address([3,1],1),address([3,1],2),address([3,4],0),address([3,4],1),
address([3,4],2),address([3,6],0),address([3,6],1),address([3,6],2),add
ress([3,6],3),address([3,4],3),address([3,1],3),address([3,1],4),addres
s([3,2,1],1),address([3,2,1],2)]
F F F F iii ig g g gu u u ur r r re e e e AAAA....4444:::: TTTTeeeessssttttiiiinnnngggg tttthhhheeee ffffuuuullllllll sssseeeetttt
%Exampleofaglobalconflict
operation(1,insert(address([],0),[a,b,c,d,e])).
operation(2,move(address([1],0),address([1],3),address([1],4))).
operation(3,move(address([1],3),address([1],5),address([1],1))).
F F F F iii ig g g gu u u ur r r re e e e AAAA....5555:::: AAAAnnnn eeeexxxxaaaammmmpppplllleeee wwwwiiiitttthhhh aaaa gggglllloooobbbbaaaallll ccccoooonnnnfffflllliiiicccctttt

155
well_defined_for([1,2,3]).
yes
proper_addresses([1,2,3],ALL),mergesort(ALL,A).
ALL=
[address([2,3,1],3),address([2,3,1],4),address([2,3,1],5),address([3,2,
1],0),address([3,2,1],1),address([3,2,1],2),address([3,2,1],3),address(
[2,1],0),address([2,1],1),address([2,1],2),address([2,1],3),address([3,
1],3),address([3,1],4),address([3,1],5),address([1],0),address([1],1),a
ddress([1],2),address([1],3),address([1],4),address([1],5),address([],0
)]
A=
[address([],0),address([1],0),address([1],1),address([3,1],3),address([
3,1],4),address([3,2,1],0),address([3,2,1],1),address([3,2,1],2),addres
s([3,2,1],3),address([3,1],5),address([1],2),address([1],3),address([1]
,4),address([2,1],0),address([2,1],1),address([2,3,1],3),address([2,3,1
],4),address([2,3,1],5),address([2,1],2),address([2,1],3),address([1],5
)]
F F F F iii ig g g gu u u ur r r re e e e AAAA....6666:::: TTTThhhheeee rrrreeeessssoooolllluuuuttttiiiioooonnnn ooooffff tttthhhheeee gggglllloooobbbbaaaallll ccccoooonnnnfffflllliiiicccctttt