






















4
%   Purpose: Various "function" application routines based on apply/2.
%   Needs  : append/3 from ListUt.Pl

:- public
	apply/2,
	callable/1,
	checkand/2,
	checklist/2,
	convlist/3,
	exclude/3,
	mapand/3,
	maplist/3,
	some/2,
	somechk/2,
	sublist/3.

:- mode
	apply(+, +),
	callable(?),
	checkand(+, +),
	checklist(+, +),
	convlist(+, +, ?),
	exclude(+, +, ?),
	mapand(+, ?, ?),
	maplist(+, ?, ?),
	some(+, ?),
	so





































rolog 
3 














































































































































































































































































































































































































































































































































































































































































































































































































































































































).

convlist(Pred, [], []).
convlist(Pred, [Old|Olds], NewList) :-
	apply(Pred, [Old,New]),
	!,
	N
st = [New|News],
	convlist(Pred, Olds, News).
convlist(Pred, [_|Olds], News) :-
	convlist(Pred
ds, News).



%   exclude(Pred, List, SubList)
%   succeeds when SubList is the SubList of
t containing all the
%   elements for which Pred(Elem) is *false*.  That is, it remove
  all the elements satisfying Pr











































































































































































































































































































































