Lines Matching refs:Module
63 apply(Pred, Args, Module) :-
71 call(Goal)@Module.
101 checkand(Pred, A&B, Module) :- !,
102 apply(Pred, [A], Module),
103 checkand(Pred, B, Module).
104 checkand(Pred, A, Module) :-
105 apply(Pred, [A], Module).
116 checklist(Pred, [Head|Tail], Module) :-
117 apply(Pred, [Head], Module),
118 checklist(Pred, Tail, Module).
129 mapand(Pred, Old&Olds, New&News, Module) :- !,
130 apply(Pred, [Old,New], Module),
131 mapand(Pred, Olds, News, Module).
132 mapand(Pred, Old, New, Module) :-
133 apply(Pred, [Old,New], Module).
145 maplist(Pred, [Old|Olds], [New|News], Module) :-
146 apply(Pred, [Old,New], Module),
147 maplist(Pred, Olds, News, Module).
162 convlist(Pred, [Old|Olds], NewList, Module) :-
163 apply(Pred, [Old,New], Module),
166 convlist(Pred, Olds, News, Module).
167 convlist(Pred, [_|Olds], News, Module) :-
168 convlist(Pred, Olds, News, Module).
183 exclude(Pred, [Head|List], SubList, Module) :-
184 apply(Pred, [Head], Module),
186 exclude(Pred, List, SubList, Module).
187 exclude(Pred, [Head|List], [Head|SubList], Module) :-
188 exclude(Pred, List, SubList, Module).
201 some(Pred, [Head|_], Module) :-
202 apply(Pred, [Head], Module).
203 some(Pred, [_|Tail], Module) :-
204 some(Pred, Tail, Module).
209 somechk(Pred, [Head|_], Module) :-
210 apply(Pred, [Head], Module),
212 somechk(Pred, [_|Tail], Module) :-
213 somechk(Pred, Tail, Module).
224 sublist(Pred, [Head|List], SubList, Module) :-
225 apply(Pred, [Head], Module),
228 sublist(Pred, List, Rest, Module).
229 sublist(Pred, [_|List], SubList, Module) :-
230 sublist(Pred, List, SubList, Module).