# TODO Challenges

- [ ] multi-head productions
- [ ] incremental matching
- [ ] loops and recursion (cons list on terms)
- [ ] toughness of logic programming
    - [ ] unexpected (re-)activations
    - [ ] building totally confluent program is hard
    - [ ] 