Obsah:
Definícia - Čo znamená Prolog?
Programm en sk Logique (Programming in Logic) alebo Prolog je programovací jazyk vysokej úrovne, ktorý má korene v logike prvého poriadku alebo predikáte prvého rádu. Jazyk bol koncipovaný v Marseille vo Francúzsku začiatkom 70. rokov skupinou pod vedením Alaina Colmerauera. Je to jeden z prvých logických programovacích jazykov a je dnes populárny. Je to programovací jazyk, ktorý sa bežne spája s výpočtovou lingvistikou a umelou inteligenciou a používa sa v expertných systémoch, dokazovaní teorémov a porovnávaní vzorov v stromoch stromovej analýzy prirodzeného jazyka a pri spracovaní prirodzeného jazyka.
Techopedia vysvetľuje Prolog
Prvý systém Prolog bol vyvinutý v roku 1972 Colmerauerom spolu s Philippom Rousselom a bol založený na procedurálnej interpretácii Hornových doložiek Roberta Kowalského. Čiastočne to bolo tiež motivované túžbou zosúladiť používanie logiky ako deklaratívneho jazyka reprezentujúceho znalosti s procedurálnym zastúpením znalostí. Prolog bol zámerne vyvinutý pre spracovanie prirodzeného jazyka - zaoberal sa počítačovými a ľudskými (prirodzenými) jazykovými interakciami.
Prolog sa líši od iných programovacích jazykov, pretože je skôr deklaratívny ako postupnosť príkazov. Niekedy sa nazýva jazykom založeným na pravidlách alebo deklaračnom jazyku, pretože je vyjadrený vo vzťahoch medzi vlastnosťami objektov a prezentovaný ako fakty a pravidlá. Výpočet sa iniciuje spustením dotazu na tieto vzťahy.
Aplikácie zahŕňajú:
- Strojové učenie
- Plánovanie robotov
- Automatické zdôvodnenie
- Riešenie problémov
- Inteligentné vyhľadávanie databázy
- Porozumenie prirodzenému jazyku
- Špecifikačný jazyk
