Prolog
Prolog is a logic programming language associated with artificial intelligence and computational linguistics.
Installation
Install swi-prolog or gprolog from official repositories.
Running
An interactive interpreter can be started by swipl or gprolog.