>Where is the declarative query language equivalent of Rust, Haskell, etc.?

Maybe Cypher from Neo4j?