jamespwilliams/prolog-isolation-checker

An encoding of the UK's self-isolation rules in Prolog

108 best points · 23 comments · 1 Hacker News post · 34 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: An encoding of the UK's self-isolation rules in Prolog (108 points, 23 comments, by jamespwilliams, 2021-04-11)