jamespwilliams / prolog-isolation-checker

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

prolog-isolation-checker

Should you be self-isolating right now? You could check using the government's website*, but that would be boring - check by seeing if Prolog can satisfy the fact that you should be self-isolating.

* jokes aside, please do use the government's website. This tool is for entertainment only and is probably broken, I haven't written any Prolog since university.

Usage

You'll need to have Prolog installed. If you use nix, just run nix-shell in the root of the repo.

$ swipl should_i_isolate.pl

Then enter should_isolate(your_name)., and Prolog will try and prove your query. Example run:

?- should_isolate(james).
Has james got a high temperature (above 38 degrees celsius)? [y/n]
Has james got a continuous cough (coughing a lot for more than an hour, or 3 or more coughing episodes in the last 24 hours)? [y/n]
Has james lost their taste? [y/n]
Has james experienced any change in their taste? [y/n]
Has james tested positive for coronavirus within the last 10 days? [y/n]
Does james live with other people? [y/n]
Is james in a childcare or support bubble? [y/n]
Has anyone in james's bubble got a high temperature (above 38 degrees celsius)?  [y/n]
Has anyone in james's bubble got a continuous cough (coughing a lot for more than an hour, or 3 or more coughing episodes in the last 24 hours)? [y/n]
Has anyone in james's bubble lost their taste? [y/n]
Has anyone in james's bubble experienced any change in their taste? [y/n]
Has james been in close contact with the symptomatic person since 48 hours before their symptoms started? [y/n]
Has anyone in james's bubble tested positive for coronavirus within the last 10 days? [y/n]
Has james been in close contact with the positive person since 48 hours before their test was performed? [y/n]
true

prolog-isolation-checker's Issues

Another example of a Covid related prolog program

Hey just noticed this while going through a ton of prolog projects here on GitHub. Here's another one that's similar in theme: http://len.falken.directory/philosophy/logical-study-of-mandatory-vaccine.txt

Improve readme by showing y/n responses

So nice to see some practical prolog. Thanks for sharing. The transcript in the readme gives a good idea of how it works, but it would be great if it also showed what answers you provided to each question.