About Scryer Prolog
Scryer Prolog is an implementation of the Prolog programming language, written mostly in Rust. It is designed as an ISO Prolog system, aligning its language behavior with the established Prolog standard. The project describes its intended uses as both a production environment and a testbed for research in logic and constraint programming. Prolog represents problems through facts and rules and uses logical inference to answer queries, making it suited to symbolic and constraint-oriented work. Scryer Prolog therefore serves developers and researchers working with declarative programming, where a program states relationships and rules rather than only a sequence of commands. Its implementation language is an internal engineering choice; users interact with the Prolog system and the logic programs it runs.
Categories
Platforms
Website & Downloads
Trusted package or store listing
Related software
- .NET Reactor — .NET Reactor is a code-protection and software-licensing system for applications built on the .NET Framework.
- 010 Editor — 010 Editor is a text and hexadecimal editor with Binary Templates technology.
- 10x — 10x is a Windows code editor designed for large C++ projects.
- 8051 Disassembler — 8051 Disassembler converts Intel HEX files for the 8051 microcontroller family into readable assembly listings.
- ACS — ACS, or Admin Config Service, is a command-line interface for managing configuration and administrative tasks in a cloud platform.
- APK Editor Studio — APK Editor Studio is an APK editor and reverse-engineering tool for desktop computers.
