
Programming Language
Scryer Prolog
Appeared 2018
An implementation of ISO Prolog written in Rust, tailored for capabilities like constraint solving, coroutining, and logical reasoning.

Programming Language
Appeared 2018
An implementation of ISO Prolog written in Rust, tailored for capabilities like constraint solving, coroutining, and logical reasoning.