Turinys:
Apibrėžimas - ką reiškia „Prolog“?
Programavimas „Logique“ („Programavimas logikoje“ ) arba „Prolog“ yra aukšto lygio programavimo kalba, kurios šaknys yra pirmosios eilės logikoje arba pirmosios eilės predikatiniame skaičiavime. Aštuntojo dešimtmečio pradžioje Marsas, Prancūzija, sugalvojo grupę, kuriai vadovavo Alainas Colmeraueris. Tai viena iš pirmųjų loginių programavimo kalbų ir ji išlieka populiari ir šiandien. Tai programavimo kalba, paprastai siejama su skaičiavimo kalbotyra ir dirbtiniu intelektu, naudojama ekspertų sistemose, įrodant teoremas ir derinant modelius su natūraliais kalbos medžiais ir natūralios kalbos apdorojimu.
„Techopedia“ aiškina „Prolog“
Pirmąją „Prolog“ sistemą 1972 m. Sukūrė „Colmerauer“ kartu su Philippe'u Roussel'iu ir ji buvo pagrįsta Roberto Kowalski procedūriniu „Horn“ išlygų aiškinimu. Iš dalies tai paskatino ir siekis suderinti logikos kaip deklaratyvios žinių pateikimo kalbos vartojimą su procedūriniu žinių vaizdavimu. „Prolog“ buvo sąmoningai sukurtas natūraliam kalbos apdorojimui - susijęs su kompiuterio ir žmogaus (natūralios) kalbos sąveika.
„Prolog“ skiriasi nuo kitų programavimo kalbų, nes yra deklaratyvus, o ne komandų seka. Ji kartais vadinama taisyklėmis pagrįsta arba deklaratyvia kalba, nes ji išreiškiama santykiais tarp daiktų savybių, pateikiama kaip faktai ir taisyklės. Skaičiavimas pradedamas vykdant šių ryšių užklausą.
Programos apima:
- Mašinų mokymasis
- Robotų planavimas
- Automatizuotas samprotavimas
- Problemų sprendimas
- Pažangios duomenų bazės gavimas
- Natūralus kalbos supratimas
- Specifikacijos kalba
