ADDED: Knights and Knaves clp(b) example.  Markus Triska.