The logic/functional programming language Mercury - View it on GitHub