Related work almost finished. Only datalog is missing