3 ms·

Using a Prolog implementation behind Rust Analyzer is very interesting, here is the post announcing it: http://smallcultfollowing.com/babysteps/blog/2017/01/26/

Using a Prolog implementation behind Rust Analyzer is very interesting, here is the post announcing it: http://smallcultfollowing.com/babysteps/blog/2017/01/26/lowering-rust-traits-to-logic/ http://smallcultfollowing.com/babysteps/blog/2017/01/26/lowe... and more info here: https://github.com/rust-lang/chalk https://github.com/rust-lang/chalk

todd8 6y ago
My reading of the linked references indicate that the system is not using Prolog or even Horn clauses. They are using a logic inference engine, but it isn't a Prolog system.
- nahuel0x 6y ago
  is a Prolog derivative with FOHH clauses, first post says it.