Russ Abbott wrote:
Here
(http://cs.calstatela.edu/~wiki/index.php/Courses/CS_460/Fall_2005/Notes_for_Oct_8#Second_Zebra_solution
<http://cs.calstatela.edu/~wiki/index.php/Courses/CS_460/Fall_2005/Notes_for_Oct_8#Second_Zebra_solution>)
is my version of Zebra using the list of records representation:
Nb = [neighbor(color:white dring:juice ...) neighbor(color:blue
drink:tea ...) ...]
It seems quite intuitive to me.
Indeed, this one looks more "natural" in logic programming style than
the FD-like coding. Each programming style favours certain kinds of
problem modeling.
The interesting question is: from your point of view, how does Oz
compare to Prolog, for *that* solution of the problem?
Cheers,
raph
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
