http://courses.cs.taltech.ee/w/index.php?action=history&feed=atom&title=Tiny_examples_of_problems_for_otter 2026-05-21T22:53:43Z Selle lehekülje redigeerimiste ajalugu MediaWiki 1.35.9 http://courses.cs.taltech.ee/w/index.php?title=Tiny_examples_of_problems_for_otter&diff=3226&oldid=prev 2015-10-26T17:28:37Z

<p>Uus lehekülg: &#039;&lt;pre&gt; set(auto). set(prolog_style_variables). set(print_kept). list(usable). father(john,pete). brother(pete,mark). -brother(X,Y) | brother(Y,X). -father(X,Y) | parent(X,Y). -m...&#039;</p> <p><b>Uus lehekülg</b></p><div>&lt;pre&gt;<br /> set(auto).<br /> set(prolog_style_variables).<br /> set(print_kept).<br /> <br /> list(usable).<br /> <br /> father(john,pete).<br /> brother(pete,mark).<br /> -brother(X,Y) | brother(Y,X).<br /> -father(X,Y) | parent(X,Y).<br /> -mother(X,Y) | parent(X,Y).<br /> -parent(X,Y) | -parent(Y,Z) | grandparent(X,Z).<br /> <br /> -brother(mark,X) | $ans(X).<br /> <br /> end_of_list.<br /> &lt;/pre&gt;<br /> <br /> and the same using functions and equality<br /> <br /> &lt;pre&gt;<br /> set(auto).<br /> set(prolog_style_variables).<br /> set(print_kept).<br /> <br /> list(usable).<br /> <br /> father(john)=pete. <br /> brother(pete,mark).<br /> -brother(X,Y) | brother(Y,X).<br /> parent(X,father(X)).<br /> parent(X,mother(X)).<br /> -parent(X,Y) | -parent(Y,Z) | grandparent(X,Z).<br /> <br /> -brother(mark,pete).<br /> <br /> end_of_list.<br /> &lt;/pre&gt;</div>

Tanel