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



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

.