Prolog (kratica za Programming in Logic; programiranje v logiki) je logični programski jezik, ki je zasnovan na funkcijskem programiranju. Programiranje v tem jeziku poteka v simbolni logiki, jezik pa je originalno zasnovan za dokazovanje izrekov, sedaj pa je bolj splošno v uporabi v umetni inteligenci. Zelo znano delo Prolog in umetna inteligenca je napisal slovenski strokovnjak Ivan Bratko.

Primer programa: write('Hello world'),nl.

Programski jeziki

Prolog