http://www.lambda.ee/w/index.php?action=history&feed=atom&title=Dlv_n%C3%A4iteid_loengust 2026-11-08T19:10:08Z Selle lehekülje redigeerimiste ajalugu MediaWiki 1.43.11 http://www.lambda.ee/w/index.php?title=Dlv_n%C3%A4iteid_loengust&diff=7874&oldid=prev 2006-03-08T16:33:33Z

<p></p> <p><b>Uus lehekülg</b></p><div>&lt;pre&gt;<br /> <br /> Republican(nixon).<br /> Quaker(nixon).<br /> <br /> Pacifist(X) :- Quaker(X), not -Pacifist(X).<br /> -Pacifist(X) :- Republican(X), not Pacifist(X).<br /> <br /> %Pacifist(nixon) ? <br /> <br /> % Bird(tweety).<br /> % Bird(sam).<br /> % <br /> % Penguin(sam).<br /> % -Flies(X):- Penguin(X).<br /> % <br /> % Flies(X) :- Bird(X), not -Flies(X).<br /> <br /> <br /> <br /> % Brother(tweety,sam).<br /> % Brother(sam,john).<br /> % Relative(X,Y) :- Brother(X,Y).<br /> % Relative(X,Y) :- Relative(X,Z), Relative(Z,Y).<br /> % <br /> % Foo(X,Y) :- Bird(X).<br /> % <br /> % <br /> % Brother(X,Y) :- Brother(Y,X).<br /> % Flies(X) :- Bird(X).<br /> <br /> <br /> &lt;/pre&gt;</div>

Tammet