https://github.com/jamespwilliams/prolog-isolation-checker

Skip to content
 
Sign up Sign up

  * Why GitHub?
    Features -
      + Mobile -
      + Actions -
      + Codespaces -
      + Packages -
      + Security -
      + Code review -
      + Project management -
      + Integrations -
      + GitHub Sponsors -
      + Customer stories-
  * Team
  * Enterprise
  * Explore
      + Explore GitHub -

    Learn and contribute

      + Topics -
      + Collections -
      + Trending -
      + Learning Lab -
      + Open source guides -

    Connect with others

      + The ReadME Project -
      + Events -
      + Community forum -
      + GitHub Education -
      + GitHub Stars program -
  * Marketplace
  * Pricing
    Plans -
      + Compare plans -
      + Contact Sales -
      + Education -

[                    ] [search-key]

  *  
    #
    In this repository All GitHub |
    Jump to |

  * No suggested jump to results

  *  
    #
    In this repository All GitHub |
    Jump to |
  *  
    #
    In this user All GitHub |
    Jump to |
  *  
    #
    In this repository All GitHub |
    Jump to |

Sign in Sign up Sign up
{{ message }}

jamespwilliams / prolog-isolation-checker

  * Notifications
  * Star 12
  * Fork 0

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

MIT License
12 stars 0 forks
Star
Notifications

  * Code
  * Issues 0
  * Pull requests 0
  * Actions
  * Projects 0
  * Security
  * Insights

More

  * Code
  * Issues
  * Pull requests
  * Actions
  * Projects
  * Security
  * Insights

master
Switch branches/tags
[                    ]
Branches Tags
Nothing to show
{{ refName }} default View all branches
Nothing to show
{{ refName }} default
View all tags
1 branch 0 tags
Go to file Code
 
Clone
HTTPS GitHub CLI
[https://github.com/j]

Use Git or checkout with SVN using the web URL.

[gh repo clone jamesp]

Work fast with our official CLI. Learn more.

  * Open with GitHub Desktop
  * Download ZIP

Launching GitHub Desktop

If nothing happens, download GitHub Desktop and try again.

Go back

Launching GitHub Desktop

If nothing happens, download GitHub Desktop and try again.

Go back

Launching Xcode

If nothing happens, download Xcode and try again.

Go back

Launching Visual Studio

If nothing happens, download the GitHub extension for Visual Studio
and try again.

Go back

Latest commit

@jamespwilliams
jamespwilliams Add .gitignore
...
4fa306a Apr 11, 2021
Add .gitignore
4fa306a

Git stats

  * 4 commits

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
.gitignore
Add .gitignore
Apr 11, 2021
LICENSE
Add LICENSE
Apr 11, 2021
README.md
Add README.md
Apr 11, 2021
shell.nix
Initial commit
Apr 11, 2021
should_i_isolate.pl
Initial commit
Apr 11, 2021
View code
prolog-isolation-checker Usage

README.md

 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

About

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

Resources

Readme

License

MIT License

Releases

No releases published

Packages 0

No packages published

Languages

  * Prolog 97.5%
  * Nix 2.5%

  * (c) 2021 GitHub, Inc.
  * Terms
  * Privacy
  * Security
  * Status
  * Docs

 

  * Contact GitHub
  * Pricing
  * API
  * Training
  * Blog
  * About

You can't perform that action at this time.
You signed in with another tab or window. Reload to refresh your
session. You signed out in another tab or window. Reload to refresh
your session.