/prolog/problems/denotational_semantics/algol_for_3/