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