summaryrefslogtreecommitdiff
path: root/prolog
ModeNameSize
-rw-r--r--common.py1799logplain
-rw-r--r--en.py675logplain
d---------facts116logplain
-rw-r--r--intro_sl.html5518logplain
d---------problems498logplain
-rw-r--r--sl.py1261logplain