1 result found Sort:

Online, interactive edition of the "Simply Logical" Prolog textbook
Created 2015-10-08
164 commits to master branch, last one 10 months ago