Dear Dennis,

Thank you for the entertaining puzzles. In order to show that logic programming can offer entertaining solutions, I wrote programs (in Picat) for solving the card puzzle:

http://picat-lang.org/exs/shasha_cards1.pi

http://picat-lang.org/exs/shasha_cards2.pi

Be aware that the second part of the problem, i.e., finding the minimum k, is time consuming. I hope that other LP people can offer better and more entertaining solutions.

Best regards,

Neng-Fa

On Mon, Oct 24, 2016 at 10:12 PM, Michael Kifer <kifer@cs.stonybrook.edu> wrote:

Dear All:

Some people asked to see the description of the banquet puzzles by Dennis Shasha.

Dennis has kindly provided a writeup, which is attached.

Was great to see you all last week.

--

regards,
--- michael

_______________________________________________
iclp16-attendants mailing list
iclp16-attendants@software.imdea.org
https://software.imdea.org/mailman/listinfo/iclp16-attendants