update kb
add inference function.
refactor WalkSat.
add experiment.