[mercury-users] Some examples of solving logical puzzles in mercury

[Vladimir Gubarkov]

Hi,

I've spent some time trying to find out how to solve logical problems
(easily solvable with classical prolog) with mercury.
The main problem here is absence of true logical variables/logical
unification, i.e. the ability to redefine partialy-defined structures.

Here are a couple of my experiments:

(in russian)
http://habrahabr.ru/blogs/programming/122147/
http://www.progz.ru/t140483/

(same links google-translated)
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%2Fwww.progz.ru%2Ft140483%2F

Writing this just in case that maybe someone would be interested.
Also, your comments on solving prolog problems with mercury are appreciated.


Sincerely yours,
Vladimir
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/users/attachments/20110619/28ecc2c9/attachment.html>