Life & fun · alternatives · 2026
24 alternatives to An encoding of the UK's self-isolation rules in Prolog
An encoding of the UK's self-isolation rules in Prolog - jamespwilliams/prolog-isolation-checker
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… Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes. An encoding of the UK's self-isolation rules in Prolog launched in 2021; newer entries below may have overtaken it.
- 1
Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic - ParhamP/Natural_Logic_Interpreter
2017 · github.com · its alternatives →
- 2
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
2019 · github.com · its alternatives →
- 3
A rules engine for Clojure(Script). Contribute to oakes/odoyle-rules development by creating an account on GitHub.
2020 · github.com · its alternatives →
- 4
The only reasonable scripting engine for Go. Contribute to ichiban/prolog development by creating an account on GitHub.
2021 · github.com · its alternatives →
- 5WA
2016 · jamesbvaughan.com · its alternatives →
- 6
A Clojure implementation of the logic programming language from chapter 4 of SICP - jdormit/sicp-logic
2019 · github.com · its alternatives →
- 7
Python With Kurly braces. Contribute to umlet/pwk development by creating an account on GitHub.
2020 · github.com · its alternatives →
- 8
a python-like language with hindley-milner-like type system, which is compiled to c - alehander92/Airtight
2015 · github.com · its alternatives →
- 9OS
EU legislation (which affects UK and US companies in many cases) requires being able to truly reconstruct agentic events. I've worked in a number of regulated industries off & on for years, and recently hit this gap. We already had strong observability, but if someone asked me to prove exactly what happened for a specific AI decision X months ago (and demonstrate that the log trail had not been altered), I could not. The EU AI Act has already entered force, and its Article 12 kicks-in in August this year, requiring automatic event recording and six-month retention for high-risk systems,…
Mar 2026 · its alternatives →
- 10AE
2016 · ramadis.github.com · its alternatives →
- 11
Stephen Wolfram's new book on the Wolfram Language
2015 · wolfram.com · its alternatives →
- 12
Embedding a Prolog-like logic programming language in JavasScript and TypeScript. - xieyuheng/logic-db
2021 · github.com · its alternatives →
- 13
Prolog Interpreter in Javascript
2015 · prolog.jldupont.com · its alternatives →
- 14
a Pythonic toolkit for working with Boolean expressions - welchbj/tt
2016 · github.com · its alternatives →
- 15
a Pythonic toolkit for working with Boolean expressions - welchbj/tt
2017 · github.com · its alternatives →
- 16
Entish is a declarative Datalog-like language for formal RPG rules - etherealmachine/entish
2021 · github.com · its alternatives →
- 17
TLDR: A small, vendor-agnostic inference loop that turns token logprobs/perplexity/entropy into an extra pass and reasoning for LLMs. - Captures logprobs/top-k during generation, computes perplexity and token-level entropy. - Triggers at most one refine when simple thresholds fire; passes a compact “uncertainty report” (uncertain tokens + top-k alts + local context) back to the model. - In our tests on technical Q&A / math / code, a small model recovered much of “reasoning” quality at ~⅓ the cost while refining ~⅓ of outputs. I kept seeing “reasoning” models behave…
2025 · github.com · its alternatives →
- 18AS
2018 · lukaslueg.github.io · its alternatives →
- 19CB
2020 · metalevel.at · its alternatives →
- 20
An educational Rust project for exporting and running inference on Qwen3 LLM family - reinterpretcat/qwen3-rs
2025 · github.com · its alternatives →
- 21
A fast, robust Python library to check for offensive language in strings. - vzhou842/profanity-check
2018 · github.com · its alternatives →
- 22
Fast equality saturation in Haskell
2022 · hackage.haskell.org · its alternatives →
- 23
Course on Metaprogramming. Contribute to namin/metaprogramming development by creating an account on GitHub.
2025 · github.com · its alternatives →
- 24
An ergonomic, mobile-first, Prolog playground! Contribute to lf94/paizo-programmer development by creating an account on GitHub.
2022 · github.com · its alternatives →
Also compare
- Automatically interpret and validate nested natural logic arguments alternatives
- A simple Prolog Interpreter written in a few lines of Python 3 alternatives
- O'Doyle Rules – a new rules engine for Clojure alternatives
- Embeddable Prolog in Go alternatives
- Writing an HTTP server in Prolog alternatives
- A Clojure implementation of logic programming language in SICP alternatives
Ranked by how close each launch is in meaning, then by votes. Prices were read from each product’s own site when checked and can change. Refine with your own description →