Datalog playground


    right("/file1", "read");
    right("/file2", "read");
    right("/file2", "write");
check if operation("read");


    operation("read");
    file("/file1");
can_view($file) <- right($file, "read");
allow if file($f), operation($op), right($f, $op);