girl(sally).
girl(jane).

boy(B) :- \+ girl(B).