Lines Matching refs:L2
154 eval_list([A|L],L1),sort(L1,L2), X::L2.
157 eval_list([X|L1],[Y|L2]):-
159 eval_list(L1,L2).
187 X::[A1|L1], X::[A2|L2] <=> intersection([A1|L1],[A2|L2],L) | X::L.
193 Y lt X, X::[A|L] <=> ground(Y) , remove_lower(Y,[A|L],L1),remove(Y,L1,L2),
194 L2\==[A|L] | X::L2.
195 X lt Y, X::[A|L] <=> ground(Y) , remove_higher(Y,[A|L],L1),remove(Y,L1,L2),
196 L2\==[A|L] | X::L2.
199 X::Min:Max, X::[A|L] <=> remove_lower(Min,[A|L],L1),remove_higher(Max,L1,L2),
200 L2\==[A|L] | X::L2.
299 gen_pair([A|L1],[B|L2],[A-B|L3]):-
300 gen_pair(L1,L2,L3).
303 X::[A|L1], X-Y::L2 <=> intersect(I::[A|L1],I-V::L2,I-V::L3),
304 length(L2,N2),length(L3,N3),N2>N3 | X-Y::L3.
305 Y::[A|L1], X-Y::L2 <=> intersect(V::[A|L1],I-V::L2,I-V::L3),
306 length(L2,N2),length(L3,N3),N2>N3 | X-Y::L3.
307 X-Y::L1, Y-X::L2 <=> intersect(I-V::L1,V-I::L2,I-V::L3) | X-Y::L3.
308 X-Y::L1, X-Y::L2 <=> intersect(I-V::L1,I-V::L2,I-V::L3) | X-Y::L3.
310 intersect(A::L1,B::L2,C::L3):- findall(C,(member(A,L1),member(B,L2)),L3).
320 % X-Y::L1, Y-Z::L2 ==> intersect(A-B::L1,B-C::L2,A-C::L), X-Z::L.
321 % X-Y::L1, Z-Y::L2 ==> intersect(A-B::L1,C-B::L2,A-C::L), X-Z::L.
322 % X-Y::L1, X-Z::L2 ==> intersect(I-V::L1,I-W::L2,V-W::L), Y-Z::L.
325 setof(S,A^member(A,L),L2), Y::L2.