<div dir="ltr"><div><div>Hello,<br><br></div>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 <a href="mailto:Christopher.Perez100@gmail.com">Christopher.Perez100@gmail.com</a><br>
<br><br></div><div>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.<br><br></div><div>Thanks in advance,<br>
</div><div>-Chris<br></div></div>