http://www.lambda.ee/w/index.php?action=history&feed=atom&title=V%C3%A4ike_v%C3%B5rdusloogika_n%C3%A4ide_listidega
Väike võrdusloogika näide listidega - Redigeerimiste ajalugu
2026-11-01T06:24:57Z
Selle lehekülje redigeerimiste ajalugu
MediaWiki 1.43.11
http://www.lambda.ee/w/index.php?title=V%C3%A4ike_v%C3%B5rdusloogika_n%C3%A4ide_listidega&diff=7871&oldid=prev
Tammet – 8. märts 2006, kell 14:52
2006-03-08T14:52:46Z
<p></p>
<p><b>Uus lehekülg</b></p><div><pre><br />
<br />
set(prolog_style_variables).<br />
set(tptp_eq).<br />
<br />
list(sos).<br />
<br />
mem(X,cons(X,L)).<br />
-mem(X,L) | mem(X,cons(Y,L)). <br />
<br />
<br />
equal(m(X,cons(X,L)),true).<br />
equal(m(X,cons(Y,L)),if(m(X,L),true,eqf(X,Y))).<br />
<br />
equal(if(true,X,Y),X).<br />
equal(if(false,X,Y),Y).<br />
equal(if(X,Y,Y),Y).<br />
<br />
equal(X,conc(nil,X)). <br />
equal(cons(Z,conc(L,Y)),conc(cons(Z,L),Y)).<br />
<br />
-equal(m(c,cons(b,cons(a,nil))),false).<br />
<br />
%-mem(a, conc( cons(d,cons(d,nil)), cons(b,cons(a,cons(c,nil))) )).<br />
<br />
end_of_list.<br />
</pre></div>
Tammet