* h_program-lang/datalog_code.dtl: todo