Prolog

z Wikipédie, slobodnej encyklopédie
Prejsť na: navigácia, hľadanie

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 obore umelej inteligence 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ôvodně 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 omedzuje na Hornove klauzule.

Externé odkazy[upraviť | upraviť zdroj]

  • FILIT – zdroj, z ktorého pôvodne čerpal tento článok.