A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
Proceedings of the 31st ACM SIGPLAN International Conference on Compiler Construction
We present an approach to integrating state-of-art bottom-up logic programming within the Rust ecosystem, demonstrating it with Ascent, an extension of Datalog that performs well against comparable systems. Rust's powerful macro system permits Ascent to be compiled uniformly with the Rust code it's embedded in and to interoperate with arbitrary userdefined components written in Rust, addressing a challenge in real-world use of logic programming languages: the fact that logical programs aredoi:10.1145/3497776.3517779 fatcat:fkotic4oszeqhan2imae6c6h3e