Prolog

Prolog is a logic programming language I loved it in university, it is really good but not practical; Mercury is better.