[HN Gopher] Ask HN: What are some interesting examples of Prolog?
       ___________________________________________________________________
        
       Ask HN: What are some interesting examples of Prolog?
        
       I'm trying to source some programs and libraries written in Prolog
       to gain a better understanding of how a complete application is put
       together. Lots of Hello, World-esque examples out there, but
       looking for things that are a little less trivial.  I did come
       across terminusdb: https://github.com/terminusdb/terminusdb which
       looks interesting.  Any other codebases people would recommend that
       are worth a read?
        
       Author : hazbo
       Score  : 10 points
       Date   : 2022-04-29 20:53 UTC (2 hours ago)
        
       | dmytrish wrote:
       | 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...
        
       | zzbn00 wrote:
       | Gerrit's prolog rules may be worth a look: https://gerrit-
       | documentation.storage.googleapis.com/Document... .
        
       ___________________________________________________________________
       (page generated 2022-04-29 23:01 UTC)