Eqlog
A logic programming language blending Datalog with equality reasoning capabilities, primarily targeting integration with Rust projects.
Details
Appeared 2019
Written With
| Name | Description |
|---|---|
| Rust | General-purpose programming language emphasizing performance, type safety, and concurrency. |