The Vadalog System: Datalog-based Reasoning for Knowledge Graphs