Prolog is a general-purpose logic programming language.