added Dockerfile
Fix rules
SUMO higher order logic
formula fix
Mark rules that use fuzzy inputs (including fuzzy and when it's built
Merge github.com:opencog/opencog
Allow higher-order logic
Handle inferences with variables
Method to prove things
Fix Cython and stop PLN from using templates as inputs
Nicer output
pretty print trails
Start using attention allocation with PLN
Merge pull request #469 from linas/master

Big batch of small fixes.
Merge pull request #470 from linas/master

Continuing work on language learning
Small changes to SQL persist README
Merge pull request #473 from linas/master

Performance enhancements
Merge pull request #472 from cosmoharrigan/sql

Small changes to SQL persist README
Merge pull request #475 from linas/master

Fix multi-threaded crash.
Merge github.com:opencog/opencog