http://www.lambda.ee/w/index.php?action=history&feed=atom&title=Otteri_s%C3%BCntaksis_planeerimis%C3%BClesanne 2026-11-07T00:40:39Z Selle lehekülje redigeerimiste ajalugu MediaWiki 1.43.11 http://www.lambda.ee/w/index.php?title=Otteri_s%C3%BCntaksis_planeerimis%C3%BClesanne&diff=7870&oldid=prev 2006-03-08T14:52:13Z

<p></p> <p><b>Uus lehekülg</b></p><div>&lt;pre&gt;<br /> set(prolog_style_variables).<br /> set(tptp_eq).<br /> %set(binary_unit_res).<br /> set(auto).<br /> <br /> list(sos).<br /> <br /> holds(and(X,Y),State)<br /> | -holds(X,State)<br /> | -holds(Y,State). <br /> <br /> holds(holding(X),do(pickup(X),State))<br /> | -holds(empty,State)<br /> | -holds(clear(X),State)<br /> | -differ(X,table) .<br /> <br /> holds(clear(Y),do(pickup(X),State))<br /> | -holds(on(X,Y),State)<br /> | -holds(clear(X),State)<br /> | -holds(empty,State) .<br /> <br /> holds(on(X,Y),do(pickup(Z),State))<br /> | -holds(on(X,Y),State)<br /> | -differ(X,Z) .<br /> <br /> holds(clear(X),do(pickup(Z),State))<br /> | -holds(clear(X),State)<br /> | -differ(X,Z) .<br /> <br /> holds(empty,do(putdown(X,Y),State))<br /> | -holds(holding(X),State)<br /> | -holds(clear(Y),State) .<br /> <br /> holds(on(X,Y),do(putdown(X,Y),State))<br /> | -holds(holding(X),State)<br /> | -holds(clear(Y),State) .<br /> holds(clear(X),do(putdown(X,Y),State))<br /> | -holds(holding(X),State)<br /> | -holds(clear(Y),State) .<br /> <br /> holds(on(X,Y),do(putdown(Z,W),State))<br /> | -holds(on(X,Y),State) .<br /> <br /> holds(clear(Z),do(putdown(X,Y),State))<br /> | -holds(clear(Z),State)<br /> | -differ(Z,Y) .<br /> <br /> differ(X,Y)<br /> | -differ(Y,X) .<br /> <br /> differ(a,b) .<br /> <br /> differ(a,c) .<br /> <br /> differ(a,d) .<br /> <br /> differ(a,table).<br /> <br /> differ(b,c) .<br /> <br /> differ(b,d) .<br /> <br /> differ(b,table) .<br /> <br /> differ(c,d) .<br /> <br /> differ(c,table) .<br /> <br /> differ(d,table) .<br /> holds(on(a,table),s0) .<br /> <br /> holds(on(b,table),s0) .<br /> <br /> holds(on(c,d),s0) .<br /> <br /> holds(on(d,table),s0) .<br /> <br /> holds(clear(a),s0) .<br /> <br /> holds(clear(b),s0) .<br /> <br /> holds(clear(c),s0) .<br /> <br /> holds(empty,s0) .<br /> <br /> holds(clear(table),State) .<br /> <br /> % -holds(X,s0) | $ans(X).<br /> <br /> end_of_list.<br /> <br /> list(sos).<br /> <br /> %-holds(and(on(a,d),on(d,b)),State).<br /> <br /> -holds(on(a,d),State) | $ans(State).<br /> <br /> end_of_list.<br /> &lt;/pre&gt;</div>

Tammet