|
% Funtore che ricerca un atomo all''interno della liste e delle sue sottoliste.
% Sono le regole del funtore member.
isMember(X, [X|_]).
isMember(X, [_|T]) :- isMember(X, T).
% Se H è una lista compio la ricerca in H e nel resto della lista T
isMember(X, [H|_]) :- is_list(H), isMember(X, H).
isMember(X, [H|T]) :- is_list(H), isMember(X, T).
|
|