retractall: removes every clause whose head (and body, for a :- pattern) unifies with the given term
:-