[m-dev.] would like some help getting acquainted with the compiler

[Christopher Perez]

Hello,

I took some interest in logical programming after an AI course introduced
me to lisp, which helped me discover other programming paradigms. I've
since then picked up Scala and Prolog, but have been disappointed to see
lack of support for Mercury. Instead of simply using Mercury though, I
would like to learn how it ticks. If anyone would like to help me get
started, even naming some good math books as preliminaries, my email is
Christopher.Perez100 at gmail.com


My goal is to advance the theory of logical programming (which I find
beautiful), help others settle into the language as well, and also create a
Mercury to Verilog compiler.

Thanks in advance,
-Chris
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/developers/attachments/20130614/cdf0540e/attachment.html>