The Mercury logic programming system. - View it on GitHub