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
Add libserver.so to CMakeLists.txt cogserver_cython to fix #307 & #305 as suggested by IvanLim
Merge branch 'master' of https://github.com/opencog/opencog
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
Merge branch 'master' of https://github.com/opencog/opencog
Add a Rule to evaluate SubsetLinks directly from the MemberLinks
Calculate AttractionLink
cython: fix old bug.

Appearnelty, no one ever bothered to read the error log files,
or act on the content oft their messages.