Папулярнае: Даныя абноўлены: 27 кастрычніка 2026 г.

Катэгорыі

Інтэрнэт1356
Зносіны321
Аўдыя і відэа898
Графіка і дызайн539
Офіс і праца1124
Інструменты распрацоўшчыка3134
ШІ-інструменты529
Бяспека і прыватнасць385
Сістэмныя праграмы3114
Гульні523
Адукацыя і навука239
Сетка і IT284

Спампаваць Scryer Prolog 0.9.3 для Windows

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.

Апісанне ад распрацоўшчыка (англійская)

Што такое Scryer Prolog?

Праграму Scryer Prolog выпускае Mark Thom. Гэта ПЗ для Windows з адкрытым зыходным кодам, катэгорыя «Мовы праграмавання і SDK». Мова праграмавання: Rust.

Устаноўка і сістэмныя патрабаванні

Распрацоўшчык прапануе ўсталёўшчыкі Партатыўная для сістэм 64-біт. Праграма працуе без устаноўкі (партатыўная версія).

Абнаўленні і гісторыя версій

Бягучая версія — 0.9.3, выйшла 3 лістапада 2023 г.. Гісторыя версій пачынаецца з 28 жніўня 2023 г.: усяго 2 версіі са спасылкамі на афіцыйныя файлы. З апошняга абнаўлення прайшло больш за год.

Папулярнасць і тыпы файлаў

Зыходны код на GitHub (mthom/scryer-prolog) мае 2462 зоркі. У 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)

4,9/10

Аўтаматычная праверка рэпазіторыя 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) ›
2023: 2 2 23
ВерсіяДатаПамерФайлы
0.9.3Апошняя 3 лістапада 2023 г. — 64-біт ZIP
0.9.2 28 жніўня 2023 г. — 64-біт ZIP

Устаноўка з каманднага радка

Ціхая ўстаноўка ›
PowerShell
wingetwinget install --id mthom.ScryerProlog -e

Інструкцыя па тэме: Як карыстацца winget: устаноўка і абнаўленне

Ёсць і для іншых сістэм

macOS (Homebrew)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
2462
Форкі на GitHub
166
Сайт
scryer.pl
ID winget
mthom.ScryerProlog

Якія файлы адкрывае (1)

Ацэнкі і водгукі

–
0 ацэнак
50
40
30
20
10
Ацаніць праграму

Водгукаў пакуль няма. Можна ацаніць першым.

Аналагі праграмы Scryer Prolog

Паказаць усе ›
  • Go Programming Language1.27.0Мовы праграмавання і SDK
    Адкрыты код2,1 млн ↓
  • LLVM23.1.4Мовы праграмавання і SDK · LLVM
    Адкрыты код2,8 млн ↓
  • Deno2.9.8Мовы праграмавання і SDK · Deno Land Inc.
    Адкрыты код249,7 тыс. ↓
  • CMake4.4.4Мовы праграмавання і SDK · Kitware
    Адкрыты код3,7 млн ↓
  • Yarn1.22.22Мовы праграмавання і SDK · Yarn Contributors
    Адкрыты код1,9 млн ↓
  • sbt2.0.11Мовы праграмавання і SDK · Lightbend, Inc.
    Адкрыты код263,6 тыс. ↓
  • Ccache4.14.1Мовы праграмавання і SDK · Joel Rosdahl
    Адкрыты код2,2 млн ↓
  • Dart SDK3.13.7Мовы праграмавання і SDK · Google
    Адкрыты код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. Іх параўнанне — на старонцы аналагаў.

Гэтая старонка на іншых мовах

Паведаміць пра памылку

Самае папулярнае ў катэгорыі «Мовы праграмавання і SDK»

Паказаць усе
  1. Go Programming LanguageМовы праграмавання і SDK
  2. LLVMМовы праграмавання і SDK · LLVM
  3. DenoМовы праграмавання і SDK · Deno Land Inc.
  4. CMakeМовы праграмавання і SDK · Kitware
  5. YarnМовы праграмавання і SDK · Yarn Contributors
  6. CcacheМовы праграмавання і SDK · Joel Rosdahl
  7. sbtМовы праграмавання і SDK · Lightbend, Inc.
  8. BOINCМовы праграмавання і SDK · Space Sciences Laboratory, U.C. Berkeley
  9. Dart SDKМовы праграмавання і SDK · Google
  10. NVM for WindowsМовы праграмавання і SDK · Ecor Ventures LLC

Тэгі

Падзяліцца