Hacker News new | past | comments | ask | show | jobs | submit login

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

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.

is a Prolog derivative with FOHH clauses, first post says it.

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact