Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- not_member(_, []).
- not_member(X, [H|T]) :- H \= X, not_member(X, T).
- fin_subset_nat([]).
- fin_subset_nat([H|T]) :- not_member(H, T), nat(H).
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement