ASTRO: A Datalog System for Advanced Stream Reasoning
Big Data Analytics with Datalog Queries on Spark