summaryrefslogtreecommitdiff
path: root/prolog/problems/denotational_semantics
ModeNameSize
-rw-r--r--common.py20logplain
-rw-r--r--en.py106logplain
d---------prog_8puzzle_2103logplain
d---------prog_8puzzle_3103logplain
d---------prog_listswap_2103logplain
d---------prog_listswap_3103logplain
-rw-r--r--sl.py103logplain