4 ms·
Looks cool, although I wonder a bit at the benefit of writing it as a dsl in Rust. It seems like you would usually write the whole program in the dsl and just h
by arijun 3y ago
Looks cool, although I wonder a bit at the benefit of writing it as a dsl in Rust. It seems like you would usually write the whole program in the dsl and just hit run in regular Rust.
- arijun 3y agoThe white paper answered me right in the abstract! > …written in Rust, addressing a challenge in real-world use of logic programming languages: the fact that logical programs are parts of bigger software systems and need to interoperate with other components written in imperative programming languages.
- codetrotter 3y agoFrom their linked paper: > Rust’s powerful macro system permits Ascent to be compiled uniformly with the Rust code it’s embedded in and to interoperate with arbitrary user-defined components written in Rust, addressing a challenge in real-world use of logic programming languages: the fact that logical programs are parts of bigger software systems and need to interoperate with other components written in imperative programming languages. https://s-arash.github.io/ascent/cc22main-p95-seamless-deductive-inference-via-macros.pdf https://s-arash.github.io/ascent/cc22main-p95-seamless-deduc... Another benefit, mentioned at the end of the original page: > The feature wasm-bindgen allows Ascent programs to run in WASM environments.