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