Re: How to solve the following ``Liars'' puzzle in prolog?



jakob wrote:
Thanks for the reply.
Also, in case anyone else is wondering, in SWI Prolog I had to use:

:- use_module(library('clp/bounds')).

instead of

:- use_module(library(bounds)).

-jakob

Is there an ECLiPSe library that can be used here?

Thanks.
.