Dlv näiteid loengust

Republican(nixon).
Quaker(nixon).
 
Pacifist(X) :- Quaker(X), not -Pacifist(X).
-Pacifist(X) :- Republican(X), not Pacifist(X).

%Pacifist(nixon) ? 

% Bird(tweety).
% Bird(sam).
% 
% Penguin(sam).
% -Flies(X):- Penguin(X).
% 
% Flies(X) :- Bird(X), not -Flies(X).



% Brother(tweety,sam).
% Brother(sam,john).
% Relative(X,Y) :- Brother(X,Y).
% Relative(X,Y) :- Relative(X,Z), Relative(Z,Y).
% 
% Foo(X,Y) :- Bird(X).
% 
% 
% Brother(X,Y) :- Brother(Y,X).
% Flies(X) :- Bird(X).