👩💻 Join our community of thousands of amazing developers!
This is the paper An efficient interpreter for Datalog by de-specializing relations. It was published in the PLDI 2021: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. The paper describes several optimization approaches to implement an efficient interpreter for Datalog language and presents result on the Soufflé interpreter. Abstract Datalog is becoming increasingly popular as a standard tool for a variety of use cases. Modern Dat...