bird(b1).
penguin(p1).

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

% nflies(X) :- -flies(X).
% :- nflies(p1) ?

:- flies(b1).