Scryer Prolog
An implementation of ISO Prolog written in Rust, tailored for capabilities like constraint solving, coroutining, and logical reasoning.
Details
Appeared 2018
Written With
| Name | Description |
|---|---|
| Rust | General-purpose programming language emphasizing performance, type safety, and concurrency. |