differential-datalog-krs85