/prolog/problems/denotational_semantics/prog_listswap_2/