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]Also, tests were surprisingly enjoyable in Prolog: [2].[1] https://github.com/EarlGray/language-incubator/blob/29755c32...
[2] https://github.com/EarlGray/language-incubator/blob/29755c32...