Comment by isuckatcoding

Really cool concept but having a really hard time understanding the datalog language and the semantics.

Like specifically what is the difference between check if and allow if?