Implemented unifying the pattern, to against graph isomorphism problem, make sure the patterns we found are not dupicacted
Implementing (half way) Rebinding Variable Names for sorted pattern according to the order.
Changed the pattern representation.
Finished rebinding variable names for patterns after sorted.
Basic multi-thread layout for pattern miner.
Randomly choose the starting atom for a thread
If the start atom is a ListLink, try to get another non-listlink atom as starting atom.
Extract the first layer 1-gram patterns from original input Atomspace.
Half way - Generate all the possible combinations of all the nodes
Finished implfunitons for extractAllPossiblePatternsFromInputLinks
Finished extractAllPossiblePatternsFromInputLinks function.
Record the variable nodes list as well when unifying a pattern for later use.
Finished functions to swap Links Between Two AtomSpace.
Finished coding for finding All Instances For a Given Pattern, still need testing.
Add AndToSubsetRule
Add AndToSubsetRule to the chainers
Add NegatedAndBulkEvaluationRule
Test and fix NegatedAndBulkEvaluationRule
A clarification on rule.py
Add PreciseModusPonens