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 github.com:opencog/opencog
Merge github.com:opencog/opencog
Merge github.com:opencog/opencog
Merge github.com:opencog/opencog
Merge branch 'master' of https://github.com/githart/opencog
Merge github.com:opencog/opencog
Merge pull request #498 from githart/master

add Dockerfile