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 github.com:opencog/opencog
The agent does N steps of back AND forward inference
Add scholemizing and fix the SUMO parser
Merge github.com:opencog/opencog