http://www.lambda.ee/w/index.php?action=history&feed=atom&title=River_example_from_lecture_2021
River example from lecture 2021 - Redigeerimiste ajalugu
2026-11-07T00:49:24Z
Selle lehekülje redigeerimiste ajalugu
MediaWiki 1.43.11
http://www.lambda.ee/w/index.php?title=River_example_from_lecture_2021&diff=18553&oldid=prev
Tammet: Uus lehekülg: '<pre> raudtee(tallinn,tapa). (raudtee(X,Y) & raudtee(Y,Z)) => raudtee(X,Z). raudtee(tallinn,Y) => $ans(Y). raudtee(tallinn,tapa). raudtee(tapa,jogeva). raudtee(tapa,rakvere). ra...'
2021-02-25T11:26:23Z
<p>Uus lehekülg: '<pre> raudtee(tallinn,tapa). (raudtee(X,Y) & raudtee(Y,Z)) => raudtee(X,Z). raudtee(tallinn,Y) => $ans(Y). raudtee(tallinn,tapa). raudtee(tapa,jogeva). raudtee(tapa,rakvere). ra...'</p>
<p><b>Uus lehekülg</b></p><div><pre><br />
raudtee(tallinn,tapa).<br />
(raudtee(X,Y) & raudtee(Y,Z)) => raudtee(X,Z).<br />
<br />
raudtee(tallinn,Y) => $ans(Y).<br />
raudtee(tallinn,tapa).<br />
raudtee(tapa,jogeva).<br />
raudtee(tapa,rakvere).<br />
raudtee(rakvere,narva).<br />
raudtee(jogeva,tartu).<br />
(raudtee(X,Y) & raudtee(Y,Z)) => raudtee(X,Z).<br />
<br />
raudtee(tallinn,Y) => $ans(Y).<br />
<br />
raudtee(tallinn,tapa).<br />
raudtee(tapa,jogeva).<br />
raudtee(tapa,rakvere).<br />
raudtee(rakvere,narva).<br />
raudtee(jogeva,tartu).<br />
<br />
(raudtee(X,Y) & raudtee(Y,Z)) => raudtee(X,Z).<br />
raudtee(X,Y) => raudtee(Y,X).<br />
<br />
laev(virtsu,kuivastu).<br />
<br />
laev(X,Y) => laev(Y,X).<br />
<br />
buss(tallinn,virtsu).<br />
buss(kuivastu,kuressaare).<br />
<br />
buss(X,Y) => buss(Y,X).<br />
raudtee(X,Y) => buss(X,Y).<br />
<br />
buss(tartu,Y) => $ans(Y).<br />
<br />
<br />
<br />
raudtee(tallinn,tapa).<br />
raudtee(tapa,jogeva).<br />
raudtee(tapa,rakvere).<br />
raudtee(rakvere,narva).<br />
raudtee(jogeva,tartu).<br />
<br />
(raudtee(X,Y) & raudtee(Y,Z)) => raudtee(X,Z).<br />
raudtee(X,Y) => raudtee(Y,X).<br />
<br />
laev(virtsu,kuivastu).<br />
<br />
laev(X,Y) => laev(Y,X).<br />
<br />
buss(tallinn,virtsu).<br />
buss(kuivastu,kuressaare).<br />
<br />
buss(X,Y) => buss(Y,X).<br />
raudtee(X,Y) => buss(X,Y).<br />
<br />
tee(tartu,kolkakylla).<br />
buss(X,Y) => tee(X,Y).<br />
<br />
tee(X,Y) => jalgrattaga(X,Y).<br />
jalgrattaga(X,Y) => jalgrattaga(Y,X).<br />
<br />
raudtee(tartu,Y) => $ans(Y).<br />
<br />
--------<br />
<br />
<br />
raudtee(tallinn,tapa).<br />
raudtee(tapa,jogeva).<br />
raudtee(tapa,rakvere).<br />
raudtee(rakvere,narva).<br />
raudtee(jogeva,tartu).<br />
<br />
(raudtee(X,Y) & raudtee(Y,Z)) => raudtee(X,Z).<br />
raudtee(X,Y) => raudtee(Y,X).<br />
<br />
laev(virtsu,kuivastu).<br />
<br />
laev(X,Y) => laev(Y,X).<br />
<br />
buss(tallinn,virtsu).<br />
buss(kuivastu,kuressaare).<br />
<br />
buss(X,Y) => buss(Y,X).<br />
raudtee(X,Y) => buss(X,Y).<br />
<br />
tee(tartu,kolkakylla).<br />
buss(X,Y) => tee(X,Y).<br />
<br />
tee(X,Y) => jalgrattaga(X,Y).<br />
jalgrattaga(X,Y) => jalgrattaga(Y,X).<br />
<br />
% distants(tallinn,tapa,raudtee,100). <br />
% distants(tallinn,tapa,buss,105). <br />
% distants(tapa,tartu,80).<br />
<br />
distants(tallinn,tapa)=100.<br />
distants(tapa,jogeva)=50.<br />
distants(jogeva,tartu)=40.<br />
<br />
distants(tallinn,tartu)=180.<br />
distants(tartu,kolkakyla)=10.<br />
<br />
distants(tallinn,jogeva)=X => $ans(X).<br />
% (distants(X,Y)=D1 & distants(Y,Z)=D2) => ...<br />
<br />
%raudtee(tartu,Y) => $ans(Y).<br />
<br />
-------<br />
<br />
<br />
raudtee(tallinn,tapa).<br />
raudtee(tapa,jogeva).<br />
raudtee(tapa,rakvere).<br />
raudtee(rakvere,narva).<br />
raudtee(jogeva,tartu).<br />
<br />
(raudtee(X,Y) & raudtee(Y,Z)) => raudtee(X,Z).<br />
raudtee(X,Y) => raudtee(Y,X).<br />
<br />
laev(virtsu,kuivastu).<br />
<br />
laev(X,Y) => laev(Y,X).<br />
<br />
buss(tallinn,virtsu).<br />
buss(kuivastu,kuressaare).<br />
<br />
buss(X,Y) => buss(Y,X).<br />
raudtee(X,Y) => buss(X,Y).<br />
<br />
tee(tartu,kolkakylla).<br />
buss(X,Y) => tee(X,Y).<br />
<br />
tee(X,Y) => jalgrattaga(X,Y).<br />
jalgrattaga(X,Y) => jalgrattaga(Y,X).<br />
<br />
buss(X,Y) => yhistransport(X,Y).<br />
raudtee(X,Y) => yhistransport(X,Y).<br />
laev(X,Y) => yhistransport(X,Y).<br />
(yhistransport(X,Y) & yhistransport(Y,Z)) => yhistransport(X,Z).<br />
<br />
%tee(tartu,Y) => $ans(Y).<br />
-yhistransport(tartu,kuressaare).<br />
<br />
--------<br />
<br />
<br />
raudtee(tallinn,tapa).<br />
raudtee(tapa,jogeva).<br />
raudtee(tapa,rakvere).<br />
raudtee(rakvere,narva).<br />
raudtee(jogeva,tartu).<br />
<br />
(raudtee(X,Y) & raudtee(Y,Z)) => raudtee(X,Z).<br />
raudtee(X,Y) => raudtee(Y,X).<br />
<br />
laev(virtsu,kuivastu).<br />
<br />
laev(X,Y) => laev(Y,X).<br />
<br />
buss(tallinn,virtsu).<br />
buss(kuivastu,kuressaare).<br />
<br />
buss(X,Y) => buss(Y,X).<br />
raudtee(X,Y) => buss(X,Y).<br />
<br />
tee(tartu,kolkakylla).<br />
buss(X,Y) => tee(X,Y).<br />
<br />
tee(X,Y) => jalgrattaga(X,Y).<br />
jalgrattaga(X,Y) => jalgrattaga(Y,X).<br />
<br />
buss(X,Y) => yhistransport(X,Y,millega(buss,X,Y)).<br />
raudtee(X,Y) => yhistransport(X,Y,millega(raudtee,X,Y)).<br />
laev(X,Y) => yhistransport(X,Y,millega(laev,X,Y)).<br />
(yhistransport(X,Y,V1) & yhistransport(Y,Z,V2)) => yhistransport(X,Z,jarjest(V1,V2)).<br />
<br />
%tee(tartu,Y) => $ans(Y).<br />
yhistransport(tartu,kuivastu,Z) => $ans(Z).<br />
<br />
---------<br />
<br />
raudtee(tallinn,tapa).<br />
raudtee(tapa,jogeva).<br />
raudtee(tapa,rakvere).<br />
raudtee(rakvere,narva).<br />
raudtee(jogeva,tartu).<br />
<br />
(raudtee(X,Y) & raudtee(Y,Z)) => raudtee(X,Z).<br />
raudtee(X,Y) => raudtee(Y,X).<br />
<br />
laev(virtsu,kuivastu).<br />
<br />
laev(X,Y) => laev(Y,X).<br />
<br />
buss(tallinn,virtsu).<br />
buss(kuivastu,kuressaare).<br />
<br />
buss(X,Y) => buss(Y,X).<br />
raudtee(X,Y) => buss(X,Y).<br />
<br />
tee(tartu,kolkakyla).<br />
buss(X,Y) => tee(X,Y).<br />
<br />
tee(X,Y) => jalgrattaga(X,Y).<br />
tee(X,Y) => jala(X,Y).<br />
jalgrattaga(X,Y) => jalgrattaga(Y,X).<br />
jala(X,Y) => jala(Y,X).<br />
<br />
buss(X,Y) => yhistransport(X,Y,millega(buss,X,Y)).<br />
raudtee(X,Y) => yhistransport(X,Y,millega(raudtee,X,Y)).<br />
laev(X,Y) => yhistransport(X,Y,millega(laev,X,Y)).<br />
(yhistransport(X,Y,V1) & yhistransport(Y,Z,V2)) => yhistransport(X,Z,jarjest(V1,V2)).<br />
<br />
yhistransport(X,Y,Z) => saabminna(X,Y,Z).<br />
tee(X,Y) => saabminna(X,Y,millega(jalgrattaga,X,Y)).<br />
tee(X,Y) => saabminna(X,Y,millega(jala,X,Y)).<br />
(saabminna(X,Y,V1) & saabminna(Y,Z,V2)) => saabminna(X,Z,jarjest(V1,V2)).<br />
<br />
%tee(tartu,Y) => $ans(Y).<br />
saabminna(tartu,kolkakyla,Z) => $ans(Z).<br />
</pre></div>
Tammet