Obsah:
Definice - Co znamená Prolog?
Programm en cs Logique (Programming in Logic) nebo Prolog je programovací jazyk vysoké úrovně, který má své kořeny v logice prvního řádu nebo predikátu prvního řádu. Jazyk byl koncipován v Marseille ve Francii počátkem 70. let skupinou vedenou Alainem Colmerauerem. Je to jeden z prvních logických programovacích jazyků a je dnes populární. Je to programovací jazyk běžně spojený s výpočetní lingvistikou a umělou inteligencí a je používán v expertních systémech, ověřování vět a porovnávání vzorů nad stromy parse přirozeného jazyka a zpracování přirozeného jazyka.
Techopedia vysvětluje Prolog
První systém Prolog byl vyvinut v roce 1972 Colmerauerem společně s Philippe Rousselem a byl založen na procedurální interpretaci Hornových doložek Roberta Kowalského. To bylo také částečně motivováno touhou sladit použití logiky jako deklarativního jazyka pro reprezentaci znalostí s procedurálním zastoupením znalostí. Prolog byl záměrně vyvinut pro zpracování přirozeného jazyka - zaměřený na počítačové a lidské (přirozené) jazykové interakce.
Prolog se liší od jiných programovacích jazyků, protože je spíše deklarativní než sekvence příkazů. To je někdy nazýváno pravidlem založeným nebo deklarativním jazykem, protože je vyjádřeno jako vztah mezi vlastnostmi objektů, prezentovaný jako fakta a pravidla. Výpočet je zahájen spuštěním dotazu na tyto vztahy.
Aplikace zahrnují:
- Strojové učení
- Plánování robotů
- Automatické zdůvodnění
- Řešení problému
- Inteligentní vyhledávání databáze
- Porozumění přirozenému jazyku
- Specifikační jazyk
