About Scryer Prolog
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.
A modern Prolog implementation written mostly in Rust.
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 | Mark Thom |
|---|---|
| Version | 0.9.3 |
| Release date | 2023-11-03 |
| License | BSD-3-Clause |
| Installer type | zip |
| Architecture | x64 |
| Package ID | mthom.ScryerProlog |
| Dependencies | Microsoft.VCRedist.2015+.x64 |
winget install --id=mthom.ScryerProlog -ewinget upgrade --id=mthom.ScryerProlog -ewinget uninstall --id=mthom.ScryerProlog -eInstall Scryer Prolog together with other apps in one command »
Yes. Scryer Prolog is free and open-source software released under the BSD-3-Clause license.
The latest version is 0.9.3, released on Nov 3, 2023.
The download button links to the official installer published on github.com, the same file Windows Package Manager installs. You can verify the downloaded file by comparing its SHA-256 checksum with b6ca52b7d1e447a16ca55ec3be3f3ba772021e3f6531c76acaa62617c7973248.
Scryer Prolog runs on Windows and is available for 64-bit (x64) systems.
Open Settings › Apps › Installed apps, find Scryer Prolog and select Uninstall. From the command line, run winget uninstall --id=mthom.ScryerProlog -e.
Yes. Scryer Prolog is available as a portable ZIP archive (scryer-prolog_windows-latest.zip, 64-bit (x64)) that runs without installation. Copy it to any folder or USB drive and run it from there.