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

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 like Prolog. We also discuss an intriguing information theoretic aspect of the puzzle.