Move PLN tests to normal directory
Merge pull request #396 from linas/master

atomspace: fix deadlock
A new version of formulas
that works with convolve but is consistent with what Ben wanted
Merge branch 'master' of github.com:opencog/opencog
fixed a bunch of 'new-line-at-the-end-of-file's
Merge pull request #397 from keyvan-m-sadeghi/master

Interval Algebra, new formulas, revision 2
Move the tests correctly
Induction and Abduction rules
Merge github.com:opencog/opencog
Run a pipeline of rules
more accurate integral for a normalised FunctionComposite
Make the slow hack a bit faster
Fix embodied inference
Refactor the find method
Refactor the find method some more
Only search the incoming set of a node (much better)
Remove print
Bulk application of a rule on all suitable inputs
A rule for calculating Subset NOT(A) B
Fix Modus Ponens formula