Prolog

Prolog is a general-purpose logic programming language associated with artificial intelligence and computational linguistics (source: https://en.wikipedia.org/wiki/Prolog)