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