Add and/or/ creation and elimination rules. Support multiple outputs. Make the formulas system cleaner
Try supporting various Rules
Rule to convert MemberLinks to InheritanceLinks
Start adding a backward chainer
Merge https://github.com/opencog/opencog
Backward chainer. Might not work
Backward chainer kinda works. It should have responsible handling of missing inputs, and rebind all variables (and handle special case Rules)
Add a tacky limitation to hide a bug
Do validity checks in backward chaining too
Fix unify and EvaluationToMemberRule
Make Member2Inheritance work
Partly implement Inference History Repository
Support similarity links with fake formulas.
Slightly Adaptive Rule Frequency Learning
Add a Rule to evaluate SubsetLinks directly from the MemberLinks
Calculate AttractionLink
Add ModusPonensRule
Merge github.com:opencog/opencog
Now we can calculate InheritanceLinks
Add more PLN Rules