Datalog file system