/prolog/problems/algol/algol_if_3/