Prolog: a general purpose logic programming language.
Prolog: логички јазик за програмирање со општа намена.