4 ms·
Mercury is a promising logic programming language that's under development https://github.com/Mercury-Language/mercury https://github.com/Mercury-Language/mercu
by simplify 8y ago
Mercury is a promising logic programming language that's under development https://github.com/Mercury-Language/mercury https://github.com/Mercury-Language/mercury
Tutorial available here (the "Ralph Becket Murcury tutorial" pdf) http://mercurylang.org/documentation/documentation.html http://mercurylang.org/documentation/documentation.html
- timb07 8y agoThe Mercury compiler is written in Mercury, which is syntactically derived from Prolog. The original compiler was bootsrapped by stripping the non-Prolog parts from the code and executing it on NU-Prolog. The compiler first successfully compiled itself in 1995, after which NU-Prolog was no longer needed. And just to tie this back to the original topic, Leon Sterling (first author of The Art of Prolog) was the head of the Department of Computer Science at the University of Melbourne when the development of Mercury began there.