selykielen suunnittelu ja toteutus Samu Viita
selykielen suunnittelu ja toteutus Samu Viita
selykielen suunnittelu ja toteutus Samu Viita
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
41Sääntö tulkitaan luonnollisen kielen ilmaisuna seuraavasti: jotta X on Y:nisoisä, täytyy löytyä henkilö Z, joka on Y:n vanhempi <strong>ja</strong> jonka isä X on. Sääntöedellyttää, että ohjelmasta löytyvät rungon tavoitteita vastaavat säännöt tai faktat.Sääntöjen soveltamisessa tarvitaan <strong>ja</strong>etun muuttu<strong>ja</strong>n ideaa. Tämä tarkoittaasitä, että säännön päässä <strong>ja</strong> rungon tavoitteissa oleva saman niminen muuttu<strong>ja</strong>tarkoittaa samaa objektia kaikkialla säännössä. Säännön rungossa olevilla pilkuillaon sama merkitys kuin konjunktiolla logiikassa.Rekursiivista määrittelyä demonstroidaan seuraavalla esimerkillä. Luonnollinenluku voidaan määritellä esimerkiksi seuraavalla, rekursiivisella tavalla:lluku(0).lluku(n(X))