Hi,<div><br></div><div>I've spent some time trying to find out how to solve logical problems (easily solvable with classical prolog) with mercury.</div><div>The main problem here is absence of true logical variables/logical unification, i.e. the ability to redefine partialy-defined structures.</div>
<div><br></div><div>Here are a couple of my experiments:</div><div><br></div><div>(in russian)</div><div><a href="http://habrahabr.ru/blogs/programming/122147/">http://habrahabr.ru/blogs/programming/122147/</a></div><div>
<a href="http://www.progz.ru/t140483/">http://www.progz.ru/t140483/</a></div><div><br></div><div>(same links google-translated)</div><div><a href="http://translate.google.ru/translate?hl=ru&sl=ru&tl=en&u=http%3A%2F%2Fhabrahabr.ru%2Fblogs%2Fprogramming%2F122147%2F">http://translate.google.ru/translate?hl=ru&sl=ru&tl=en&u=http%3A%2F%2Fhabrahabr.ru%2Fblogs%2Fprogramming%2F122147%2F</a></div>
<div><br></div><div><a href="http://translate.google.ru/translate?hl=ru&sl=ru&tl=en&u=http%3A%2F%2Fwww.progz.ru%2Ft140483%2F">http://translate.google.ru/translate?hl=ru&sl=ru&tl=en&u=http%3A%2F%2Fwww.progz.ru%2Ft140483%2F</a></div>
<div><br></div><div>Writing this just in case that maybe someone would be interested.</div><div>Also, your comments on solving prolog problems with mercury are appreciated.</div><div><br></div><div><br></div><div>Sincerely yours,</div>
<div>Vladimir</div><div><br></div><div><br></div>