Yes, and few other useful concepts beyond just Datalog.