Kazalo:
Opredelitev - Kaj pomeni Prolog?
Programiranje en Logique (Programiranje v logiki) ali Prolog je programski jezik na visoki ravni, ki ima svoje korenine v logiki prvega reda ali predikatnem računu. Jezik si je zamislila v Marseillu v Franciji v začetku sedemdesetih let skupina, ki jo je vodil Alain Colmerauer. Je eden prvih logičnih programskih jezikov in ostaja priljubljen še danes. To je programski jezik, ki je običajno povezan z računalniško jezikoslovjem in umetno inteligenco, uporablja pa se v strokovnih sistemih, dokazovanju izrek in uravnavanju vzorcev med naravnimi jezikovnimi razčlenjenimi drevesi in obdelavo naravnega jezika.
Tehopedia razlaga Prolog
Prvi sistem Prolog je razvil leta 1972 Colmerauer skupaj s Philippom Rousselom in je temeljil na proceduralni razlagi Rogovih klavzur Roberta Kowalskega. Deloma jo je motivirala tudi želja po uskladitvi uporabe logike kot deklarativnega jezika zastopanja znanja s postopkovnim zastopanjem znanja. Prolog je bil namensko razvit za obdelavo naravnega jezika - ukvarjal se je z računalniškimi in človeškimi (naravnimi) jezikovnimi interakcijami.
Prolog se od drugih programskih jezikov razlikuje po tem, da je deklarativen in ne zaporedja ukazov. Včasih se imenuje na podlagi pravil ali deklarativni jezik, saj je izražen v razmerjih med lastnostmi predmetov, predstavljenih kot dejstva in pravila. Izračun se začne z izvajanjem poizvedbe po teh odnosih.
Prijave vključujejo:
- Strojno učenje
- Načrtovanje robotov
- Samodejno sklepanje
- Reševanje problema
- Inteligentno iskanje podatkovnih baz
- Razumevanje naravnega jezika
- Jezik specifikacije
