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)
start conversion of boost:shared_ptr to std
Finish conversion from std::shared_ptr to std::
Performance diary updates
Merge pull request #313 from linas/atomspace

convert boost:shared_ptr to std::shared_ptr
Add a tacky limitation to hide a bug
Do validity checks in backward chaining too
Fix unify and EvaluationToMemberRule
Use AtomPtr for all atom pointers
Most of the rest of the AtomPtr conversion
Remainder of AtomPtr conversion
misc minor cleanup