Prolog

Prolog is a logic programming language.