introduce rule.{Head,Body}

for the dependency of "rule" packages
implement RuleParser
add SAT solver examples.
implement PLParser
fix bug about paren
combine PLParser and SATSolver
implement PLSATSolver
Merge branch 'develop'