<div>If it's Prolog-in-Erlang you're looking for, take a look at Mercury (<a href="http://mercurylang.org">http://mercurylang.org</a>).  Mercury is a purely declarative dialect of Prolog, in effect, that compiles to a variety of back-ends including Erlang.</div>
<div><br></div>-- <br>"Perhaps people don't believe this, but throughout all of the discussions of entering China our focus has really been what's best for the Chinese people. It's not been about our revenue or profit or whatnot."<br>
--Sergey Brin, demonstrating the emptiness of the "don't be evil" mantra.<br>