This repository contains various experiments on chaining, including
- Backward chaining
- Forward chaining
- Iterative chaining
- Chaining with dependent types
- Chaining with lambda abstraction
- Chaining for modal logic
- Probabilistic backward chaining
- PLN prototype
- PLN based Inference control
- Roman Treutlein's argument set chainer applied on "Light PLN", as a git module
- and more
It also contains a MeTTa module of backward and forward chaining prepared by Hedra Seid Yusuf, though I don't know how well maintained it is.