Simple Simulator for Distributed Datalog Solver