Prologin käyttökohteet ja ominaisuudet
Ahola, Nico (2019)
Ahola, Nico
2019
Tietotekniikka
Informaatioteknologian ja viestinnän tiedekunta - Faculty of Information Technology and Communication Sciences
This publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited.
Hyväksymispäivämäärä
2019-05-21
Julkaisun pysyvä osoite on
https://urn.fi/URN:NBN:fi:tty-201904301421
https://urn.fi/URN:NBN:fi:tty-201904301421
Tiivistelmä
Tässä opinnäytetyössä tutkitaan logiikkaohjelmoinnin ominaisuuksia ja käyttökohteita. Tutkimus suoritetaan kirjallisuusselvityksenä ja pääasiassa Prologin näkökulmasta. Tavoitteena on esittää yleiskuvaus Prologin tärkeimmistä ominaisuuksista ja näiden avulla perustella Prologin tärkeimmät käyttökohteet. Sekä ominaisuuksista että käyttökohteista annetaan teorian lisäksi käytännön esimerkkejä.
Tuloksena huomataan Prolog-ohjelmien olevan muun muassa rivimäärällisesti lyhyitä ja niiden oikeellisuuden tarkistamisen olevan helppoa. Toisaalta Prologissa on olemassa cut-operaattorin kaltaisia ominaisuuksia, jotka vähentävät ohjelmien deklaratiivisuutta ja täten vaikeuttavat oikeellisuuden tarkastamista. Tärkeimmiksi käyttökohteiksi Prologille esitetään tekoälyä, loogista ja symbolista ongelmanratkaisua, sekä webin eri sovelluksia. Näille kohteille sääntöihin perustuvan Prologin huomataan olevan sopiva valinta.
Tuloksena huomataan Prolog-ohjelmien olevan muun muassa rivimäärällisesti lyhyitä ja niiden oikeellisuuden tarkistamisen olevan helppoa. Toisaalta Prologissa on olemassa cut-operaattorin kaltaisia ominaisuuksia, jotka vähentävät ohjelmien deklaratiivisuutta ja täten vaikeuttavat oikeellisuuden tarkastamista. Tärkeimmiksi käyttökohteiksi Prologille esitetään tekoälyä, loogista ja symbolista ongelmanratkaisua, sekä webin eri sovelluksia. Näille kohteille sääntöihin perustuvan Prologin huomataan olevan sopiva valinta.
Kokoelmat
- Kandidaatintutkielmat [6423]