http://www.lambda.ee/w/index.php?action=history&feed=atom&title=Reasoner_example_for_birds
Reasoner example for birds - Redigeerimiste ajalugu
2026-10-31T01:23:36Z
Selle lehekülje redigeerimiste ajalugu
MediaWiki 1.43.11
http://www.lambda.ee/w/index.php?title=Reasoner_example_for_birds&diff=15787&oldid=prev
Tammet: Uus lehekülg: '<pre> % (lbird & -abnormal_bird) => lflies -lbird(X,L) | abnormal_bird(X) | lflies(X,likely). -bird(X) | lbird(X,certain). -lbird(X,certain) | bird(X). -penguin(X) | bird(X)....'
2019-04-17T08:25:03Z
<p>Uus lehekülg: '<pre> % (lbird & -abnormal_bird) => lflies -lbird(X,L) | abnormal_bird(X) | lflies(X,likely). -bird(X) | lbird(X,certain). -lbird(X,certain) | bird(X). -penguin(X) | bird(X)....'</p>
<p><b>Uus lehekülg</b></p><div><pre><br />
% (lbird & -abnormal_bird) => lflies<br />
-lbird(X,L) | abnormal_bird(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 />
% -abnormal_bird(tweety).<br />
<br />
-lflies(tweety,L) | ans(L).<br />
<br />
-penguin(X) | abnormal_bird(X).<br />
<br />
-seagull(X) | normal_bird(X).<br />
<br />
-abnormal_bird(X) | -normal_bird(X).<br />
<br />
seagull(tweety).<br />
<br />
bird(tweety).<br />
penguin(pengu).<br />
<br />
-lflies(pengu,L) | ans(L).<br />
<br />
</pre></div>
Tammet