  Serious thinking about the computational aspects of situation theory is just
starting. There have been some recent proposals in this direction (viz. PROSIT
and ASTL), with varying degrees of divergence from the ontology of the theory.
We believe that a programming environment incorporating bona fide
situation-theoretic constructs is needed and describe our very recent BABY-SIT
implementation. A detailed critical account of PROSIT and ASTL is also offered
in order to compare our system with these pioneering and influential
frameworks.
