http://www.lambda.ee/w/index.php?action=history&feed=atom&title=Reasoner_example_with_some_rules_for_relatives 2026-10-30T23:56:35Z Selle lehekülje redigeerimiste ajalugu MediaWiki 1.43.11 http://www.lambda.ee/w/index.php?title=Reasoner_example_with_some_rules_for_relatives&diff=15783&oldid=prev 2019-04-17T08:17:03Z

<p>Uus lehekülg: &#039;&lt;pre&gt; % see syntax docs: % https://www.mcs.anl.gov/research/projects/AR/otter/otter33.pdf % % for advanced syntax see % http://tptp.cs.miami.edu/TPTP/TR/TPTPTR.shtml#ProblemPrese...&#039;</p> <p><b>Uus lehekülg</b></p><div>&lt;pre&gt;<br /> % see syntax docs:<br /> % https://www.mcs.anl.gov/research/projects/AR/otter/otter33.pdf<br /> %<br /> % for advanced syntax see<br /> % http://tptp.cs.miami.edu/TPTP/TR/TPTPTR.shtml#ProblemPresentation<br /> <br /> father(john,pete).<br /> father(pete,mark).<br /> mother(mary,pete).<br /> mother(elizabeth,mark).<br /> brother(andrew,pete).<br /> <br /> -brother(X,Y) | brother(Y,X).<br /> -sister(X,Y) | sister(Y,X).<br /> -father(X,Y) | childof(Y,X).<br /> -mother(X,Y) | childof(Y,X).<br /> <br /> -sister(X,Y) | female(X).<br /> -mother(X,Y) | female(X).<br /> -father(X,Y) | male(X).<br /> -father(X,Y) | male(X).<br /> <br /> -father(X,Y) | -father(Y,Z) | grandfather(X,Z).<br /> -mother(X,Y) | -father(Y,Z) | grandfather(X,Z).<br /> -father(X,Y) | -mother(Y,Z) | grandmother(X,Z).<br /> -mother(X,Y) | -mother(Y,Z) | grandmother(X,Z).<br /> <br /> -brother(X,Y) | relative(X,Y).<br /> -sister(X,Y) | relative(X,Y).<br /> -father(X,Y) | relative(X,Y).<br /> -mother(X,Y) | relative(X,Y).<br /> <br /> -relative(X,Y) | relative(Y,X).<br /> -relative(X,Y) | -relative(Y,Z) | relative(X,Z).<br /> <br /> -married(X,Y) | married(Y,X).<br /> -married(X,Y) | -male(X) | husband(X,Y).<br /> -married(X,Y) | -female(X) | wife(X,Y).<br /> <br /> married(elizabeth,pete).<br /> <br /> %-grandfather(john,X) | ans(X).<br /> %-male(X) | ans(X).<br /> %-husband(X,elizabeth) | ans(X).<br /> <br /> male(jaan).<br /> <br /> % is jaan female?<br /> %-female(jaan).<br /> <br /> -male(X) | -female(X).<br /> <br /> % is jaan not female?<br /> female(jaan).<br /> &lt;/pre&gt;</div>

Tammet