Repo:
https://github.com/rust-lang/chalk
Book:
https://rust-lang.github.io/chalk/book/what_is_chalk.html
Trefný postřeh:
https://twitter.com/TimSweeneyEpic/status/1178448064949960706
Oni píšou, že to je "Prolog-like", ale používají SLG místo SLD (to má jen hrstka Prologů a jen jako nadstavbu) a hlavně používají obecnější logiku.