/prolog/problems/denotational_semantics/algol_3/