Scryer Prolog
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.
winget install --id mthom.ScryerProlog --exact --source winget Latest 0.9.3
| Architecture | Scope | Download | SHA256 |
|---|---|---|---|
x64 | — | Download | B6CA52B7D1E447A16CA55EC3BE3F3BA772021E3F6531C76ACAA62617C7973248 |
Details
- Homepage
- https://www.scryer.pl/
- License
- BSD-3-Clause
- Publisher
- Mark Thom
- Support
- https://github.com/mthom/scryer-prolog/issues
- Copyright
- Copyright (c) 2023, Mark Thom
- Moniker
scryer-prolog
Older versions (1)
0.9.2
| Architecture | Scope | Download | SHA256 |
|---|---|---|---|
x64 | — | Download | C7388D36869FB02DAB46264051458AF6775601C2FA851BFABDAC14A60FCE29CD |