reasoner.js playground

1. quick tutorial

     1.1. rules

         1.1.1. constants
             [+] hello world
         1.1.2. variables
             [+] hello entity
     1.2. rule systems

         1.2.1. chaining

             1.2.1.1. constants
                 [+] toy making decision
             1.2.1.2. variables
                 [+] job title decision
             1.2.1.3. algebraic rules
                 [ ] student decision                  [ ] computer expert decision
         1.2.2. metarules
             [+] world spinning decision              [+] weighting decision
2. computing examples

    2.1. programming
         [+] branching choice          [+] Boolean evaluator          [+] binary number addition          [+] binary number comparison
    2.2. calculi
         [ ] lambda calculus          [ ] positive logic          [ ] positive logic typed lambda calculus
    2.3. theorems
         [+] checking De Morgan's law          [+] proof checker          [ ] validity checker
3. tests
     [+] stress test