[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)