On The Suitability of Differential Dataflow For Datalog Interpretation In Highly Dynamic Settings

Bruno Rucy Carneiro Alves de Lima, Merlin Kramer, Kalmer Apinis

In the domain of knowledge representation and reasoning within AI, datalog engines play an ever-increasingly crucial role. The crux of their operation lies in materialization: the…