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.