added Dockerfile
experimenting with different learning algorithms from sklearn
see if presence of more zeros and ones causes overfit
passing the same relation instead of all 26 ones
to see if it fixes learning (it didn't)
trying interpolation instead of regression
found a nice way to handle composition
using a different plot setting
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
some experiments