Mercury is a modern logic language. It takes the statically typed approach http:... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

pnathan on Jan 3, 2012 | parent | context | favorite | on: Resolutions for programmers

Mercury is a modern logic language. It takes the statically typed approach

http://www.mercury.csse.unimelb.edu.au/

silentbicycle on Jan 3, 2012 [–]

Or, 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.)

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact