/prolog/problems/denotational_semantics/algol_if_3/