Title: Registered datalog