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
cython: fix old bug.

Appearnelty, no one ever bothered to read the error log files,
or act on the content oft their messages.
cython: cleanup cmakefiles for nosetests
atomspace: add API for managing incoming set

It will be both faster, and more generally useful, to track
the incoming set locally, instead of in the atomtable.  This
provides an API for doing this.
Merge branch 'master' of https://github.com/opencog/opencog