retractall(P)

All  clauses  in  the  current interpreted program whose head matches P are
'retract'ed.  P must be bound to a non-variable term.
