Я хотел бы спросить Вас о том, от чего формальная система могла быть более интересна реализовать, царапают/перепроектируют. Я просмотрел некоторые существующие и проекты с открытым исходным кодом логического/...
Я уже скачал Mercury 11.07.1 с
http://www.mercury.csse.unimelb.edu.au/download/release.html, а также установил cygwin на свой ПК с Windows 7. Однако я не знаю, как установить ртуть. Есть...