This reminds me of a recent HN post about a simple datalog engine being used in the rust borrow checker. https://github.com/frankmcsherry/blog/blob/master/post

This reminds me of a recent HN post about a simple datalog engine being used in the rust borrow checker. https://github.com/frankmcsherry/blog/blob/master/posts/2018-05-19.md https://github.com/frankmcsherry/blog/blob/master/posts/2018... via https://news.ycombinator.com/item?id=17107527 https://news.ycombinator.com/item?id=17107527