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) ?