summaryrefslogtreecommitdiff
path: root/prolog/problems/denotational_semantics/prog_8puzzle_2/sl.py
AgeCommit message (Expand)Author
2016-05-22Denotational semantics, part #1: tests and translations added.Aleksander Sadikov