Prolog je predikátový programovací jazyk. Funguje na principu kdy si programátor sám vytváří své predikáty a ty používá v programu dále. Programovací jazyk prolog obsahuje takzvané vestavěné predikáty jazyka prolog.
Příklad predikátu: zahrajNotu(NOTA).
Příklad vestavěného predikátu: beep(F,1200).