Define a predicate strike(X,Y,Z) that succeeds if and only if the list Z would be obtained if one were to remove all occurrences of element X from list Y. The strike predicate need not work well when Y is an unbound variable.
Make sure you test this in SWI-Prolog before submitting I will cross reference with my teacher before awarding the points.