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 wingetLatest 0.9.3·November 3, 2023
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