/prolog/problems/denotational_semantics/
../
algol_3
algol_for_3
algol_if_3
prog_8puzzle_2
prog_8puzzle_3
prog_listswap_2
prog_listswap_3