Scryer Prolog is a free software ISO Prolog system intended to be an industrial strength production environment and a testbed for bleeding edge research in logic and constraint programming.
Publisher’s description
What is Scryer Prolog?
Scryer Prolog by Mark Thom is open-source Windows software in the languages & sdks category. It is written in Rust.
Installation and requirements
The publisher provides Portable installers for 64-bit Windows. It runs without installation (portable).
Updates and version history
The current version is 0.9.3, released on November 3, 2023. The version history goes back to August 28, 2023: 2 releases, all linked to the official files. The last update is more than a year old.
Popularity and file types
The source code on GitHub (mthom/scryer-prolog) has 2,462 stars. On Windows it registers 1 file type, including .pl. Similar programs include Go Programming Language, LLVM and Deno.
Project description on GitHub: “A modern Prolog implementation written mostly in Rust.”
Pros / Cons
Pros
- Open source: the code can be inspected and built by anyone
- Portable: runs without installation
Cons
- No native ARM64 build
- No update for more than a year
In short: Scryer Prolog is an open-source languages & sdk tool for 64-bit PCs. Updates have slowed down.
Is Scryer Prolog safe to download?
- The file is served by github.com, the publisher’s own domain
- The download link uses HTTPS
- A SHA256 hash is published, so you can verify the file:
B6CA52B7D1E447A16CA55EC3BE3F3BA772021E3F6531C76ACAA62617C7973248· Open the VirusTotal report for this hash - The link has not been checked yet
- The source code is public
- ExeAtlas does not host, wrap or modify installers
Related guide: How to check a file’s SHA256 hash on Windows
Security practices (OpenSSF Scorecard)
Automated checks of the mthom/scryer-prolog repository on GitHub by the Open Source Security Foundation, last run on October 19, 2026.
- Actively maintained10
- No dangerous workflows10
- No binaries in the repository10
- Licence declared10
- Published packages10
- Code review8
- Pinned dependencies7
- Restricted token permissions0
- OpenSSF Best Practices badge0
- Security policy0
- Fuzzing0
- Branch protection0
- Signed releases0
- Static code analysis0
The score rates how the project is developed and released, not whether the program is safe to install. scorecard.dev
Recent versions
All 2 versions ›| Version | Date | Size | Files |
|---|---|---|---|
| 0.9.3Latest | November 3, 2023 | — | 64-bit ZIP |
| 0.9.2 | August 28, 2023 | — | 64-bit ZIP |
Install from the command line
Silent install ›winget install --id mthom.ScryerProlog -eRelated guide: How to use winget: install and update apps
Also for other systems
brew install scryer-prologInformation
- Publisher
- Mark Thom
- Category
- Languages & SDKs
- Licence
- BSD-3-Clause
- Price
- Free
- Source code
- github.com/mthom/scryer-prolog
- Written in
- Rust
- Requires
- Windows 11 / 10
- Architecture
- 64-bit
- Installer
- Portable
- Version
- 0.9.3
- Released
- November 3, 2023
- Added to the catalogue
- September 26, 2023
- Versions listed
- 2
- GitHub stars
- 2,462
- GitHub forks
- 166
- Website
- scryer.pl
- winget ID
- mthom.ScryerProlog
File types it opens (1)
Ratings and reviews
No reviews yet. Be the first to rate it.
Alternatives to Scryer Prolog
See all ›-
Go Programming Language1.27.0An open source programming language that makes it simple to build secure, scalable systems.Open source2.1M ↓ -
Open source2.8M ↓ -
Open source249.7K ↓ -
Open source3.7M ↓ -
Yarn1.22.22Yarn is a package manager that doubles down as project manager. Whether you work on one-shot projects or large monorepos, as a hobbyist or an enterprise user, we've got you covered.Open source1.9M ↓ -
Open source263.6K ↓ -
Ccache4.14.1Ccache is a compiler cache. It speeds up recompilation by caching previous compilations and detecting when the same compilation is being done again.Open source2.2M ↓ -
Open source1.4M ↓
Frequently asked questions
Is Scryer Prolog free?
Yes. Scryer Prolog is open-source software under the BSD-3-Clause licence.
Is Scryer Prolog safe to download?
The download comes from github.com, which belongs to the publisher; ExeAtlas does not host or change the file. Compare its SHA256 hash with the one shown here, or open the VirusTotal report for that hash.
How do I install Scryer Prolog with winget?
Open PowerShell or Windows Terminal and run the winget command shown on this page. winget downloads the official installer and checks its SHA256 hash before running it.
Does Scryer Prolog run on ARM (Windows on Arm)?
There is no ARM64 build; Windows 11 on Arm can run the 64-bit version through emulation.
Where can I download an older version of Scryer Prolog?
The versions page lists all 2 versions with links to their official installer files, back to August 28, 2023.
Can I use Scryer Prolog without administrator rights?
Yes, it is portable: unpack and run it.
What are alternatives to Scryer Prolog?
Go Programming Language, LLVM, Deno, CMake and Yarn. The alternatives page compares them.
