  Situation theory is a mathematical theory of meaning introduced by Jon
Barwise and John Perry. It has evoked great theoretical and practical interest
and motivated the framework of a few `computational' systems. PROSIT is the
pioneering work in this direction. Unfortunately, there is a lack of real-life
applications on these systems and this study is a preliminary attempt to remedy
this deficiency. Here, we examine how much PROSIT reflects situation-theoretic
concepts and solve a group of epistemic puzzles using the constructs provided
by this programming language.
