Alternatives

Products that do what Automatically interpret and validate nested natural logic arguments does

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

   2019 · aristotl.io

2. 2AA
   Arguman – Argument Analysis Platform▲170

   2015 · en.arguman.org

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

   2019 · github.com

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

   2021 · github.com

5. 5LO
   LogicEmu – Online Logic Simulator▲210

   2018 · lodev.org

6. 6EP
   Embeddable Prolog in Go▲14

   2021 · github.com

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

   2019 · github.com

8. 8VL
   Vector-logic, a lightweight rules engine from first principles▲8

   Nov 2025 · github.com

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

   2020 · github.com

10. 10HM
    Hindley-Milner Type Inference Algorithm in OCaml▲136

    2016 · github.com

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

    2018 · lukaslueg.github.io

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

    2017 · boolr.me

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

    2017 · github.com

14. 14PA
    PySchemes – A library for validating data structures in Python▲94

    2017 · github.com

15. 15BA
    Brancher – A user-friendly PyTorch module for probabilistic inference▲96

    2019 · brancher.org

16. 16EA
    Embedding a Prolog-like logic programming language in JavasScript▲7

    2021 · github.com

17. 17SD
    Silogizma – Deductive reasoning tool▲14

    2018 · silogizma.org

18. 18UP
    Using Parsing Expression Grammars to rewrite source code▲63

    2016 · github.com

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

    2021 · github.com

20. 20AN
    A NLP Library for Matching Parse Trees▲46

    2016 · github.com

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

    2015 · github.com

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

    2020 · metalevel.at

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

    2015 · prolog.jldupont.com

24. 24TA
    Tt – A Python Library/CLI for Boolean Expressions▲5

    2016 · github.com

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