Datalog may appear to be a subset, but it is quite distinct semantically.