datalog.rvc, datalog.sml, datalogExtract.sml