/prolog/problems/denotational_semantics/prog_listswap_3/