Prologin käyttökohteet ja ominaisuudet

Abstract

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.