Lines Matching refs:val
41 val(L:_, L):- !.
42 val(V,V).
59 lub([A|Glb], [B|Poss], Lub):- val(B,VB), A @< VB, !, Lub=[A|L], lub(Glb, [B|Poss], L).
60 lub([A|Glb], [B|Poss], [VB|Lub]):- val(B,VB), lub([A|Glb], Poss, Lub).
110 set_intersection([H1|T1],[H2|T2], L):- val(H1,H2), !, L=[H1|I], set_intersection(T1,T2,I).
112 val(H1,VH1), val(H2,VH2), VH1 @< VH2, !,
124 val(H1,H2), !, N1 is Ni+1, L=[H1|I],
127 val(H1,VH1), val(H2,VH2), VH1 @< VH2, !,
154 set_without([H1|T1],[H2|T2], W):- val(H1,H), val(H2,H), !, set_without(T1,T2, W).
156 val(H1,VH1), val(H2,VH2), VH1 @< VH2, !, W=[H1|W1],
168 val(H1,H), val(H2,H), !, set_without(T1,T2, W, Ni,No).
170 val(H1,VH1), val(H2,VH2), VH1 @< VH2, !,
183 val(H,Hg), !, verify_inclusion(T, Glb,Poss, GlbOut).
185 val(H,VH), X @< VH, !, verify_inclusion([H|T], Glb,Poss, GlbOut).
303 remove(X, [H|T], T, F-F,T, true):- val(H,X), !.
305 val(H,VH), VH @< X, !,
335 insert_count([H|T], X, [X|T], F-F, T, N,N):- val(H,X), !.
337 val(H,VH), X @> VH, !, N1 is Ni+1, insert_count(T, X, L, F-DF, Rest, N1,No).