Unnamed
public text v1 · immutablefindall([X,N],
((member([X,N1],SortedB1), member([X,N2],SortedB2), N is N1 + N2)
;(member([X,N],SortedB1), \+ member([X,_],SortedB2))
;(member([X,N],SortedB2), \+ member([X,_],SortedB1)))
,B). findall([X,N],
((member([X,N1],SortedB1), member([X,N2],SortedB2), N is N1 + N2)
;(member([X,N],SortedB1), \+ member([X,_],SortedB2))
;(member([X,N],SortedB2), \+ member([X,_],SortedB1)))
,B).