Prolog is a logic programming language associated with artificial intelligence and computational linguistics.
