new datalog api for writing -- complete wallog-test