No information can be conveyed by certain events: The case of the clever widows of Fornicalia and the Stobon Oracle

Anand Venkataraman, Ray Kemp

In this short article, we look at an old logical puzzle, its solution and proof and discuss some interesting aspects concerning its representation in a logic programming language l…