Prolog

Prolog je logický programovací jazyk, ktorý má korene v logike prvého rádu. Prolog je vhodný na programovanie v umelej inteligencii a počítačovej lingvistike. Prolog má jednoduchú a elegantnú syntax, vďaka ktorej sa dá ľahko naučiť. Prolog je deklaratívny jazyk, čo znamená, že programy sa zapisujú ako súbor faktov a pravidiel. Prolog je logický jazyk, čo znamená, že programy možno zapísať ako sériu dedukcií. Prolog je univerzálny jazyk, ktorý sa dá použiť na širokú škálu aplikácií. Prolog je vhodný na aplikácie umelej inteligencie, ako je spracovanie prirodzeného jazyka, expertné systémy a strojové učenie. Prolog je vhodný aj na aplikácie počítačovej lingvistiky, ako je rozbor a generovanie jazykov.