Use the AtomSpace to store inference history and check for repeated inferences
Rule recording, inference history printing and cycle checking in the new system