flies(X) :- bird(X), not abnormal(X). abnormal(X) :- penguin(X). bird(tweety).