summaryrefslogtreecommitdiff
path: root/prolog/problems/denotational_semantics
ModeNameSize
-rw-r--r--common.py20logplain
-rw-r--r--en.py106logplain
d---------prog_8puzzle_270logplain
d---------prog_8puzzle_370logplain
d---------prog_listswap_270logplain
d---------prog_listswap_370logplain
-rw-r--r--sl.py103logplain