Вроде, можно в ночнике включить в режиме эксперимента.
Только неясно, чего они ждут и что мешает реализовать формальную спецификацию Rust на каком-нибудь другом Прологе прямо сейчас, пока работа над Chalk продолжается. Ведь транслятор из MIR в факты и правила Пролога это достаточно быстро реализуемая вещь.
Только неясно, чего они ждут и что мешает реализовать формальную спецификацию Rust на каком-нибудь другом Прологе прямо сейчас, пока работа над Chalk продолжается. Ведь транслятор из MIR в факты и правила Пролога это достаточно быстро реализуемая вещь.