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

Peter wrote:
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?

Sure. Use :- lib(ic), replace ... in ... by ... :: ...,
and all_different/1 by alldifferent/1.

-- Joachim
.