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