Negate Expression Prolog

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