rm last false
make facts accumulatable
one by one ok
Merge pull request #12 from xiaohe27/backtrack

Backtrack