Here is an example of a solution to a Zebra-like logic puzzle using straight logic programming tools (no FD) but with constraints implemented as thread bombs. The puzzle is here:
http://www.puzzlersparadise.com/article1021.html.
The problem solution, showing the representation used, is here:
http://cs.calstatela.edu/~wiki/index.php/Courses/CS_460/Fall_2005/Homework#The_five_sisters_using_an_alternate_representation_.28and_using_thread_bombs.29.
The solution code is here: http://cs.calstatela.edu/~wiki/index.php/Courses/CS_460/Fall_2005/Homework#Problem_specific_information
. Note how closely the solution code is to the problem statement. The negative statements are expressed negatively, i.e., as constraints, which are implemented as thread bombs.
The utilities that enable this are here: http://cs.calstatela.edu/~wiki/index.php/Courses/CS_460/Fall_2005/Homework#Utilities
.
-- Russ
_________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
