Toward a computational interpretation of situation semantics