Alternatives

Products that do what Vector-logic, a lightweight rules engine from first principles does

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

   2020 · github.com

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

   2019 · aristotl.io

3. 3CA
   Caramel – a modern syntax for the lambda calculus▲130

   2015 · github.com

4. 4EA
   Eole, a Lévy-optimal lambda calculus evaluator written in Rust▲106

   2019 · github.com

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

   2017 · github.com

6. 6CD
   Clojure DSL for pattern-matching, parsing and generic programming▲204

   2012 · scattered-thoughts.net

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

   2019 · github.com

8. 8BA
   BOOLR – A digital logic simulator▲136

   2017 · boolr.me

9. 9AE
   An encoding of the UK's self-isolation rules in Prolog▲108

   2021 · github.com

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

    2018 · lukaslueg.github.io

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

    2015 · github.com

12. 12
    Wolfram Language▲86

    Knowledge-based programming

    2014

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

    2016 · github.com

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

    2021 · github.com

15. 15MA
    Micrologic – A tiny, literate implementation of miniKanren/core.logic▲28

    2015 · mullr.github.io

16. 16RA
    Rhine – A typed Elixir-inspired language on LLVM▲81

    2016 · github.com

17. 17NM
    Neeilang: Minimalist OOP Language That Compiles to LLVM IR▲44

    2020 · github.com

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

    2014 · github.com

19. 19SA
    SQLToy – a tiny relational database for learning SQL via code▲41

    2021 · github.com

20. 20TA
    Tt – a Python library/cli for Boolean expressions▲23

    2017 · github.com

21. 21SD
    Silogizma – Deductive reasoning tool▲14

    2018 · silogizma.org

22. 22RA
    Recursi – a recursive memory/logic puzzle▲5

    2014 · lkozma.net

23. 23TA
    Treenee, a simple “decision tree” engine▲12

    2020 · github.com

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

    2020 · github.com

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