Alternatives

Products that do what An encoding of the UK's self-isolation rules in Prolog does

1. 1AS
   A simple Prolog Interpreter written in a few lines of Python 3▲149

   2019 · github.com

2. 2OD
   O'Doyle Rules – a new rules engine for Clojure▲100

   2020 · github.com

3. 3CI
   “Crafting Interpreters” chapter, control flow and Turing-completeness▲116

   2017 · craftinginterpreters.com

4. 4AO
   An open souce graph database written in Prolog and Rust▲29

   2020 · github.com

5. 5AI
   An improved version of HyperLogLog▲194

   2017 · github.com

6. 6AA
   Aristotl – an intuitive logical fallacy lookup tool▲173

   2019 · aristotl.io

7. 7AA
   Arguman – Argument Analysis Platform▲170

   2015 · en.arguman.org

8. 8AM
   A modernized and annotated code companion to Paul Graham's “On Lisp”▲93

   2015 · github.com

9. 9EC
   Experimental chat written in Common Lisp▲114

   2017 · github.com

10. 10HA
    Heresy, a BASIC-inspired functional Lisp▲34

    2014 · github.com

11. 11AI
    Automatically interpret and validate nested natural logic arguments▲53

    2017 · github.com

12. 12AE
    An encoding/decoding tool for Martin David's theoretical S language▲24

    2016 · ramadis.github.com

13. 13HI
    HyperLogLog intersections▲88

    2018 · github.com

14. 14AM
    A multi-syntax programming language with bidirectional grammars▲96

    2016 · github.com

15. 15AS
    A syntax-diagram generator for rust's macro_rules()▲36

    2018 · lukaslueg.github.io

16. 16LG
    Locust – “Git diff” over abstract syntax trees▲26

    2020 · github.com

17. 17CB
    Constraint-Based School Timetabling with Prolog▲20

    2020 · metalevel.at

18. 18AC
    A Clojure implementation of logic programming language in SICP▲56

    2019 · github.com

19. 19PC
    Prolog compiler and interpreter in pure JavaScript▲15

    2015 · prolog.jldupont.com

20. 20LA
    LambdaNet – A functional neural network library written in Haskell▲56

    2014 · github.com

21. 21OA
    OJ – A Clojure library for talking to your database▲37

    2014 · github.com

22. 22AT
    A Transformer model that preserves logical equivalence▲9

    2025 · huggingface.co

23. 23EA
    Entish: A language for implementing RPG rules in formal logic▲17

    2021 · github.com

24. 24FA
    Functors, Applicative Functors and Monads in PHP▲46

    2015 · github.com

Ranked by how close each launch is in meaning, then by votes. Refine with a description →