Data loader and datalog query implemented