Prolog

Prolog (pj) PROLOG <PJ> je logický programovací jazyk. Patrí medzi tzv. deklaratívne programovacie jazyky, v ktorých programátor popisuje len cieľ výpočtu, pričom presný postup, akým sa k výsledku program dostane, je ponechaný na ľubovôli systému. Prolog sa snaží o pokiaľ možno abstraktné vyjadrenie faktov a logických vzťahov medzi nimi s potlačením imperatívnej zložky. Prolog je využívaný predovšetkým v odbore umelej inteligencie a v počítačovej lingvistike (obzvlášť spracovanie prirodzeného jazyka, pre ktorý bol pôvodne navrhnutý). Syntax jazyka je veľmi jednoduchá a ľahko použiteľná práve preto, že bol pôvodne určený pre počítačovo nie príliš gramotných lingvistov. Prolog je založený na predikátovej logike prvého rádu, konkrétne sa obmedzuje na Hornove klauzuly.

Externé odkazy 
 

Programovacie jazyky