/prolog/problems/denotational_semantics/

• ../
• common.py
• en.py
• prog_8puzzle_2
• prog_8puzzle_3
• prog_listswap_2
• prog_listswap_3
• sl.py