Scryer Prolog
Last updated
A modern Prolog implementation written mostly in Rust.
Install with winget
$ winget install --id mthom.ScryerProlog --exact --version 0.9.3Run in Command Prompt, PowerShell, or Windows Terminal. Prompts for any agreements.
For Intune admins
Stop chasing app updates. Pckgr patches them for you.
Automated application patching for Microsoft Intune. Pckgr keeps a curated library of 1,000+ apps continuously up-to-date in your tenant via Microsoft Graph - no manual repackaging, no chasing vendor sites.
Start free 30-day trialFrom $49/month. No credit card required.
Not on Intune? Pckgr RMM deploys and patches apps like this one on any Windows fleet. Free for up to 5 devices.
About
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.
Installers · v0.9.3
| Architecture | Type | Scope | Install | Download |
|---|---|---|---|---|
| x64 | Portable | - | Direct |
Copy a command tailored to that specific architecture, type, and scope - useful when winget would otherwise pick a different default.
Security
No known CVEs for Scryer Prolog.
Coverage is best-effort and depends on a winget package mapping to an NVD CPE entry. Absence here is not a guarantee of safety.
Related apps
More from Mark Thom or browse language, logic, programming.
Frequently asked questions
How do I install Scryer Prolog on Windows?
How do I install Scryer Prolog silently for unattended deployment?
How do I uninstall Scryer Prolog via winget?
Is Scryer Prolog free?
Does Scryer Prolog work on Windows 10?
How do I keep Scryer Prolog up to date?
Recent versions
- 0.9.3latest
- 0.9.2