version stored in datalog.logic