helper function 'or' and 'but' rule
merge and-rule
name correction
Added Valgrind to docker file.
Split Pattern Miner into Breadth First mode and Depth First mode.
Implemented the schedule process of Depth first mining algorithm.
Commit before switch branch - on the way of implementing Depth First mining.
Merge branch 'master' of http://github.com/opencog/opencog into PM
Added new parameters to pattern miner config file.
Implemented extracting n-distance neighbour links.
Scheduling frequency and interestingness evaluation for Depth First mining.
Add Table::timestamp_pos (useful to output a table with timestamp feature)
Added filters to depth-first pattern growing algorithm. All links should be connected by variables not const nodes; All leaves should not be variables.
Remove ostreamTable taking OTable and ITable (unnecessarily complicated)
Add timestamp feature support in ostreamTableHeader
Remove Table::add_features_from_file, extremly slow and not that useful
Implement ostream timestamp feature Table
Fix ostreamTable to support timestamp feature
Add test units for ostreamTable with timestamp features
Fix Table::update_pos (used to update target and timestamp pos while filtering)