Comment by simplify

Mercury is a promising logic programming language that's under development https://github.com/Mercury-Language/mercury

Tutorial available here (the "Ralph Becket Murcury tutorial" pdf) http://mercurylang.org/documentation/documentation.html