scryer-prolog
A modern ISO Prolog implementation written in Rust, aiming to be an industrial-strength production environment and research testbed.
What is scryer-prolog?
Scryer Prolog is a modern, ISO-conformant Prolog implementation written mostly in Rust. It provides an industrial-strength environment for logic and constraint programming, with a focus on efficiency, standards compliance, and research innovation. It solves the need for a reliable, high-performance open-source Prolog system that can handle real-world applications and advanced programming techniques.
Prolog developers, researchers in logic and constraint programming, and organizations requiring ISO-compliant Prolog implementations for regulated or production environments. It's also well-suited for teaching Prolog due to its standards adherence and rich feature set.
Developers choose Scryer Prolog for its strong ISO conformity, efficient memory representation (especially for strings), built-in support for advanced features like tabling and constraint solving, and its modern implementation in Rust which offers performance and safety benefits.
Overview
A modern Prolog implementation written mostly in Rust.
Use Cases
Best For
- Building ISO-compliant Prolog applications for regulated industries
Related Projects
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
