[HN Gopher] Show HN: An encoding of the UK's self-isolation rule...
       ___________________________________________________________________
        
       Show HN: An encoding of the UK's self-isolation rules in Prolog
        
       Author : jamespwilliams
       Score  : 61 points
       Date   : 2021-04-11 20:31 UTC (2 hours ago)
        
 (HTM) web link (github.com)
 (TXT) w3m dump (github.com)
        
       | gsnedders wrote:
       | Pedantic comment: this encodes the rules from NHS England's
       | website, which are presumably based on the English legislation.
       | Each of the devolved legislatures have their own set of
       | legislation, so this probably doesn't generalise to the entire
       | UK.
        
       | tyingq wrote:
       | Hah! I was expecting a sort of Brexit joke in Prolog, instead
       | it's something useful :)
        
       | teruakohatu wrote:
       | If you want to read the code: "," is AND and ";" is OR.
        
         | crabmusket wrote:
         | Thank you. I love seeing what different languages choose as the
         | meaning of their primary tokens. For example, Smalltalk uses
         | whitespace to send messages, whereas Haskell uses whitespace to
         | apply functions to arguments.
        
       | ilovepitchdecks wrote:
       | This Covid joke is getting old.
        
       | [deleted]
        
       ___________________________________________________________________
       (page generated 2021-04-11 23:00 UTC)