Sisällysluettelo:
Määritelmä - mitä Prolog tarkoittaa?
Ohjelmointi fi Logique (Programming in Logic) tai Prolog on korkean tason ohjelmointikieli, jonka juuret ovat ensimmäisen asteen logiikassa tai ensimmäisen asteen predikaattilaskennassa. Kieli suunniteltiin Marseillessa, Ranskassa, 1970-luvun alkupuolella Alain Colmerauerin johtamalla ryhmällä. Se on yksi ensimmäisistä logiikan ohjelmointikieleistä ja on edelleen suosittu. Se on ohjelmointikieli, joka liittyy yleisesti laskennalliseen kielitieteeseen ja tekoälyyn, ja sitä käytetään asiantuntijajärjestelmissä, lauseiden todistamisessa ja kuvien sovittamisessa luonnollisen kielen jäsennyspuiden ja luonnollisen kielen käsittelyyn.
Techopedia selittää Prologin
Ensimmäisen Prolog-järjestelmän kehitti Colmerauer yhdessä Philippe Rousselin kanssa vuonna 1972, ja se perustui Robert Kowalskin Horn-lausekkeiden menettelylliseen tulkintaan. Sitä motivoi osittain myös halu sovittaa logiikan käyttö deklaratiivisena tiedonesityskielenä tiedon proseduuriseen esittämiseen. Prolog kehitettiin tarkoituksella luonnolliselle kielenkäsittelylle - tietokoneen ja ihmisen (luonnollisen) kielen vuorovaikutukseen.
Prolog eroaa muista ohjelmointikieistä, koska se on pikemminkin deklaratiivinen kuin komentojen sekvenssit. Sitä kutsutaan joskus sääntöpohjaiseksi tai deklaratiiviseksi kieleksi, koska se ilmaistaan esineiden ominaisuuksien välisissä suhteissa, esitetään tosiasioina ja sääntöinä. Laskenta aloitetaan suorittamalla kysely näille suhteille.
Sovellukset sisältävät:
- Koneoppiminen
- Robotin suunnittelu
- Automaattinen päättely
- Ongelmanratkaisu
- Älykäs tietokannan haku
- Luonnollinen kielen ymmärtäminen
- Eritelmän kieli
