http://www.lambda.ee/w/index.php?action=history&feed=atom&title=Reasoner_another_example_for_birds
Reasoner another example for birds - Redigeerimiste ajalugu
2026-10-31T02:48:55Z
Selle lehekülje redigeerimiste ajalugu
MediaWiki 1.43.11
http://www.lambda.ee/w/index.php?title=Reasoner_another_example_for_birds&diff=15788&oldid=prev
Tammet: Uus lehekülg: '<pre> % (lbird & -lflies(certain)) => lflies(likely) -lbird(X,L) | notflies(X) | lflies(X,likely). -bird(X) | lbird(X,certain). -lbird(X,certain) | bird(X). -penguin(X) | b...'
2019-04-17T08:25:46Z
<p>Uus lehekülg: '<pre> % (lbird & -lflies(certain)) => lflies(likely) -lbird(X,L) | notflies(X) | lflies(X,likely). -bird(X) | lbird(X,certain). -lbird(X,certain) | bird(X). -penguin(X) | b...'</p>
<p><b>Uus lehekülg</b></p><div><pre><br />
% (lbird & -lflies(certain)) => lflies(likely)<br />
<br />
-lbird(X,L) | notflies(X) | lflies(X,likely).<br />
<br />
-bird(X) | lbird(X,certain).<br />
-lbird(X,certain) | bird(X).<br />
<br />
-penguin(X) | bird(X).<br />
<br />
-penguin(X) | notflies(X).<br />
<br />
-notflies(X) | -lflies(X,Y).<br />
<br />
<br />
<br />
bird(tweety).<br />
penguin(pengu).<br />
<br />
%-lflies(tweety,L) | ans(L).<br />
-lflies(pengu,L) | ans(L).<br />
</pre></div>
Tammet