Check out https://www.learndatalogtoday.org/

From the link: “Datalog is a declarative database query language with roots in logic programming. Datalog has similar expressive power as SQL.”