Prolog is a programming language.