Ask HN: What are some interesting examples of Prolog?
Not exactly a big codebase, but it was a revelation for me how natural typecheckers can feel in Prolog: I basically rewrote typing rules with some tweaks: [1]<p>Also, tests were surprisingly enjoyable in Prolog: [2].<p>[1] <a href="https://github.com/EarlGray/language-incubator/blob/29755c32edc631d3a296d06242e0e339b24453db/fp/tapl/fullsimple.pl" rel="nofollow">https://github.com/EarlGray/language-incubator/blob/29755c32...</a>
[2] <a href="https://github.com/EarlGray/language-incubator/blob/29755c32edc631d3a296d06242e0e339b24453db/fp/tapl/fullsimple.plt" rel="nofollow">https://github.com/EarlGray/language-incubator/blob/29755c32...</a>