Logic Programming in Rust

s-arash.github.io

42 pointstosh4 comments

Related: The "missing" graph datatype already exists. It was invented in the '70s https://news.ycombinator.com/item?id=39606885

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.

From 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-deduc...

Another benefit, mentioned at the end of the original page:

> The feature wasm-bindgen allows Ascent programs to run in WASM environments.

The 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.

Reply on news.ycombinator.com