Declarative Languages And Scalable Systems For Graph Analytics And Knowledge Discovery