2 ms·
Mercury is a modern logic language. It takes the statically typed approach http://www.mercury.csse.unimelb.edu.au/ http://www.mercury.csse.unimelb.edu.au/
by pnathan 15y ago
Mercury is a modern logic language. It takes the statically typed approach
http://www.mercury.csse.unimelb.edu.au/ http://www.mercury.csse.unimelb.edu.au/
- silentbicycle 15y agoOr, learn both! Mercury will teach you different things than Prolog. (I've read about Mercury, but never really used it. I'm most interested in constraint programming, which doesn't seem to be part of it.)