Skip to content

Instantly share code, notes, and snippets.

@bbqtd

bbqtd/gist:073081e329b95cb842b2

Created May 20, 2015 16:12
Show Gist options
  • Save bbqtd/073081e329b95cb842b2 to your computer and use it in GitHub Desktop.
Save bbqtd/073081e329b95cb842b2 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
is_member(V, [V | _]) :- !.
is_member(V, [_ | T]) :-
is_member(V, T).
delete_element([], _V, []) :- !.
delete_element([V | T], V, NT) :-
!,
delete_element(T, V, NT).
delete_element([V1 | T], V, [V1 | NT]) :-
delete_element(T, V, NT).
delete_by_set(R, [], R) :- !.
delete_by_set(L, [VS | TS], R) :-
delete_element(L, VS, TLR),
delete_by_set(TLR, TS, R).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment