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

Vladimir Gubarkov xonixx at gmail.com
Sun Jun 19 08:06:08 AEST 2011


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>


More information about the users mailing list