• - declarative logic programming language for querying relational data and knowledge graphs