Show HN: An encoding of the UK's self-isolation rules in Prologgithub.com/jamespwilliams108 pointsjamespwilliams5 years ago