Credits
The constraint logic programming language used for these files is called ECLiPSe CLP (not to be confused with Eclipse, the programmer's tool). ECLiPSe CLP is now available here on Sourceforge. (change noted 2/1/07).
Except where noted, the original Eclipse solutions are Copyright,
(C) Doug Edmunds, 2000.
All US and international rights reserved. The code may be used for research and educational purposes,
provided that the author is identified and given full credit for these solutions.
These puzzles may not be included in any hard-copy publication without the author's express written
consent.
The B-Prolog solutions were developed by
Neng-Fa Zhou.
Please contact him directly regarding use and republication of his code.
The puzzles on these pages are from various issues of Dell Logic Puzzles magazine.
Dell Magazines, a division of Crosstown Publications, holds the copyrights to
Dell Logic Puzzles. Subscription information may be obtained by writing to:
Dell Logic Puzzles, P.O. Box 54360, Boulder, CO 80322-4360
In the Summer, 2000 issue of Dell Favorite Logic Problems,
the Editors wrote: "Speaking of things futuristic, we recently received an e-mail from a
Professor of Computer Science, who claims to have invented a program that can
solve any Logic in under 5 seconds!"
The CS professor was Raphael Finkel (together with his collaborators,
Victor Marek and Mirek Truszczynski). Contact
Professor Finkel
to get more information about his program.