Nier l'expression proloc

female(X) :- \+ male(X).
NachooCh