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.
Описание от разработчика (английский)
Что такое Scryer Prolog?
Программу Scryer Prolog выпускает Mark Thom. Это ПО для Windows с открытым исходным кодом, категория «Языки и SDK». Язык программирования: Rust.
Установка и системные требования
Разработчик предлагает установщики Портативная для систем 64-бит. Программа работает без установки (портативная версия).
Обновления и история версий
Текущая версия — 0.9.3, вышла 3 ноября 2023 г.. История версий начинается с 28 августа 2023 г.: всего 2 версии со ссылками на официальные файлы. С последнего обновления прошло больше года.
Популярность и типы файлов
У исходного кода на GitHub (mthom/scryer-prolog) 2 462 звезды. В Windows программа регистрирует 1 тип файлов, среди них .pl. Похожие программы: Go Programming Language, LLVM и Deno.
Описание проекта на GitHub: “A modern Prolog implementation written mostly in Rust.”
Плюсы / Минусы
Плюсы
- Открытый исходный код: его можно проверить и собрать самостоятельно
- Портативная версия: работает без установки
Минусы
- Нет нативной сборки ARM64
- Больше года без обновлений
Коротко: Scryer Prolog — программа для Windows с открытым исходным кодом (категория «Языки и SDK»); сборки: 64-бит. Обновления выходят всё реже.
Безопасно ли скачивать программу Scryer Prolog?
- Файл загружается с домена разработчика (github.com)
- Ссылка для скачивания использует HTTPS
- Опубликован хеш SHA256 — файл можно проверить:
B6CA52B7D1E447A16CA55EC3BE3F3BA772021E3F6531C76ACAA62617C7973248· Открыть отчёт VirusTotal по этому хешу - Ссылка ещё не проверялась
- Исходный код открыт
- ExeAtlas не хранит, не оборачивает и не изменяет установщики
Инструкция по теме: Как проверить хеш SHA256 файла в Windows
Практики безопасности (OpenSSF Scorecard)
Автоматическая проверка репозитория mthom/scryer-prolog на GitHub от Open Source Security Foundation, последний запуск — 19 октября 2026 г..
- Активная поддержка10
- Нет опасных workflow10
- Нет бинарных файлов в репозитории10
- Лицензия указана10
- Публикуемые пакеты10
- Ревью кода8
- Зафиксированные зависимости7
- Ограниченные права токенов0
- Значок OpenSSF Best Practices0
- Политика безопасности0
- Фаззинг0
- Защита веток0
- Подписанные релизы0
- Статический анализ кода0
Оценка показывает, как проект разрабатывается и выпускается, а не то, безопасно ли устанавливать программу. scorecard.dev
Последние версии
Все версии (2) ›| Версия | Дата | Размер | Файлы |
|---|---|---|---|
| 0.9.3Последняя | 3 ноября 2023 г. | — | 64-бит ZIP |
| 0.9.2 | 28 августа 2023 г. | — | 64-бит ZIP |
Установка из командной строки
Тихая установка ›winget install --id mthom.ScryerProlog -eИнструкция по теме: Как пользоваться winget: установка и обновление
Есть и для других систем
brew install scryer-prologИнформация
- Разработчик
- Mark Thom
- Категория
- Языки и SDK
- Лицензия
- BSD-3-Clause
- Цена
- Бесплатно
- Исходный код
- github.com/mthom/scryer-prolog
- Язык программирования
- Rust
- Требования
- Windows 11 / 10
- Архитектура
- 64-бит
- Установщик
- Портативная
- Версия
- 0.9.3
- Дата выхода
- 3 ноября 2023 г.
- Добавлено в каталог
- 26 сентября 2023 г.
- Версий в каталоге
- 2
- Звёзды GitHub
- 2 462
- Форки на GitHub
- 166
- Сайт
- scryer.pl
- ID winget
- mthom.ScryerProlog
Какие файлы открывает (1)
Оценки и отзывы
Отзывов пока нет. Оценку можно оставить первым.
Аналоги программы Scryer Prolog
Показать все ›-
Открытый исходный код2,1 млн ↓ -
Открытый исходный код2,8 млн ↓ -
Открытый исходный код249,7 тыс. ↓ -
Открытый исходный код3,7 млн ↓ -
Открытый исходный код1,9 млн ↓ -
Открытый исходный код263,6 тыс. ↓ -
Открытый исходный код2,2 млн ↓ -
Открытый исходный код1,4 млн ↓
Частые вопросы
Программа Scryer Prolog бесплатная?
Да. Scryer Prolog — программа с открытым исходным кодом (лицензия BSD-3-Clause); скачать и использовать её можно бесплатно.
Безопасно ли скачивать программу Scryer Prolog?
Файл загружается с github.com — этот домен принадлежит разработчику; ExeAtlas не хранит и не изменяет файл. Сравните SHA256 скачанного файла с указанным на этой странице или откройте отчёт VirusTotal по этому хешу.
Как установить Scryer Prolog через winget?
Откройте PowerShell или Терминал Windows и выполните команду winget с этой страницы. winget скачает официальный установщик и проверит его хеш SHA256 перед запуском.
Работает ли Scryer Prolog на ARM (Windows on Arm)?
Сборки ARM64 нет; Windows 11 on Arm может запустить версию 64-бит через эмуляцию.
Где скачать старые версии программы Scryer Prolog?
На странице версий собраны ссылки на официальные установщики всех версий (2), начиная с 28 августа 2023 г..
Можно ли пользоваться программой Scryer Prolog без прав администратора?
Да, это портативная версия: достаточно распаковать архив и запустить программу.
Какие есть аналоги программы Scryer Prolog?
Go Programming Language, LLVM, Deno, CMake и Yarn. Их сравнение — на странице аналогов.
