GitHub - Mercury-Language/mercury: The Mercury logic programming system. https://github.com/Mercury-Language/mercury