Use the AtomSpace to store inference history and check for repeated inferences
Rule recording, inference history printing and cycle checking in the new system
Lookup previous inputs to temporal rules using the new system
PLN algorithmic documentation
Fix a test
Merge branch 'master' of git://github.com/opencog/opencog
Merge branch 'master' of git://github.com/opencog/opencog
Merge branch 'master' of git://github.com/opencog/opencog
Fix a weird bug caused by a Python design flaw
Remove print statement
Fix some tests and disable others
Some rules have 0 inputs and that's important
It's possible to turn off the cycle checking
You can disable checking for repeats
Prevent an impossible combination of PLN settings
More boost program-options cleanup
Change the CTable counts to doubles from ints.
An additional unsigned->double conversion for counts
Misc fixes, mostly float vs double

-- Use double, wherever space concern is not dominant
-- use score_t for those things that actually require a score_t
-- a remaining parse_options bug.
Use doubles, not floats ...

...when space-saving is not a concern