checkpoint of datalog from svn