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

In plain words

This is a Prolog encoding of the UK's self-isolation rules, created in April 2021. It translates the government's guidance into logical code, allowing users to query whether they should isolate based on their circumstances. The tool is designed for anyone trying to understand or verify their isolation status against official rules. It demonstrates how complex public health regulations can be represented as executable logic programs.

written from the facts on this page · September 2026

• 
  Automatically interpret and validate nested natural logic arguments2017 · github.com · ▲53

  Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic - ParhamP/Natural_Logic_Interpreter

• 
  A simple Prolog Interpreter written in a few lines of Python 32019 · github.com · ▲149

  A simple Prolog Interpreter written in a few lines of Python 3. It runs a limited subset of Prolog and uses backtracking and generators in order to perform its magic. - photonlines/Python-Prolog-Interpreter

• 
  O'Doyle Rules – a new rules engine for Clojure2020 · github.com · ▲100

  A rules engine for Clojure(Script). Contribute to oakes/odoyle-rules development by creating an account on GitHub.

• 
  Embeddable Prolog in Go2021 · github.com · ▲14

  The only reasonable scripting engine for Go. Contribute to ichiban/prolog development by creating an account on GitHub.

• 
  A Clojure implementation of logic programming language in SICP2019 · github.com · ▲56

  A Clojure implementation of the logic programming language from chapter 4 of SICP - jdormit/sicp-logic

• 
  Making Python one-liner-fit with the new pwk (Python With Kurly braces)2020 · github.com · ▲84

  Python With Kurly braces. Contribute to umlet/pwk development by creating an account on GitHub.

• 
  SimCity, but with Permits▲930

  A free city-building game in your browser. You are the mayor. You know what the city needs. Now get it past the zoning board, the neighbors, the appeals court and the next election.

  Life & fun · 3d ago · permit.petercai.com

• IV
  I've been paying for a rural Tanzanian's education for 10 years▲778

  Life & fun · 15d ago · tanzaniaeducationproject.org

• 
  Bigwords.page – Turn any screen into a sign. The URL is the app▲728

  Turn a phone, tablet or TV into a sign. Type a message and it fills the screen: welcome signs, timers, Wi-Fi passwords and more. No app, no account, free.

  Life & fun · 16d ago · bigwords.page

• 
  Guitoro, a virtual guitar you strum with your keyboard▲573

  Play a free virtual guitar online with your keyboard or by touch. Slow songs down and see every chord, string and strum. Acoustic, classic, electric and bass.

  Life & fun · 10d ago · guitoro.com

• 
  See *almost* any carriers phone settings▲432

  Carrier settings from iPhone, Pixel and Galaxy firmware, decoded and compared: APNs, VoLTE, 5G and Wi-Fi Calling per carrier, and what each build changed.

  Life & fun · 14d ago · carrierexplode.com

• 
  The whole Solar System and every tracked satellite, live in the browser▲407

  Life & fun · 24d ago · space.bl2.net

• 
  Lofi.cafe▲1,192

  Lofi music streams for studying, working, and relaxing.

  Life & fun · 2021 · lofi.cafe

• 
  Mighty▲931

  Make Chrome faster and use 10x less memory

  Work · 2021 · playgroundai.com

• 
  FigJam by Figma▲864

  An online whiteboard from Figma designed for teams

  Work · 2021 · figma.com

• 
  Butter▲848

  All-in-one tool for the smoothest virtual workshops 🧈

  Work · 2021

• 
  Landing Page Checklist▲809

  Build your landing page with these 100+ tools

  Growth · 2021 · landingpage.fyi

• PF
  PDFs from HTML▲742

  Life & fun · 2021 · pdf.math.dev