Added pseudocode-like comments for the main planner process.
Added interfaces for adding / checking variables binding histories to a state nodes
Added score calculation for selecting suitable rule for the current planning step
Added function: check if a rule is a resursive rule
Implemented Ground variables for a rule according to its forward state node
Added the framework for cost as heuristics inherited from the parents in one planning step.
touch class-server just once, not once per type.

This is just some really minor cleanup.
Merge pull request #164 from linas/types-fix

touch class-server just once, not once per type.
remove logfile spew
add debug print to the assert

New moses is now asserting.  We need a unit test for this :-(
Fixed some real-time inquery value for states for real time cost calculation
Merge pull request #165 from shujingke/shujing

Shujing
quiet down more logfile spew
add default ctor for feat sel params
bugfix: std::next() will iterate past end()

The std::next() does not know where sf_pop.end() is, and, so if
told to go beyond it, it will; leading to garbage/junk.  Then
sf_pop.erase() will erase everything, leading to an empty population
and a crash.
MOSES: Minor cleanup.
MOSES: restore some of logging previously killed.

Actually, it could be useful, and is not that verbose.
MOSES: change diversity_cap to size_t

This avoids a compiler warning. Anyway, negative values don't make
sense, so there's no point in using a signed int.
MOSES: more log file cleanup.

I changed these back to info() from debug(). Its mostly not too verbose.
Merge pull request #166 from linas/moses

Moses bug fix