Oblíbené: Data aktualizována: 26. října 2026

Kategorie

Internet1 355
Komunikace321
Audio a video898
Grafika a design539
Kancelář a produktivita1 120
Vývoj3 132
Umělá inteligence527
Zabezpečení385
Systémové nástroje3 113
Hry523
Vzdělávání a věda239
Síť a IT284

Stáhnout Scryer Prolog 0.9.3 pro 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.

Popis od výrobce (angličtina)

Co je Scryer Prolog?

Program Scryer Prolog vydává Mark Thom. Jde o software pro Windows s otevřeným zdrojovým kódem, kategorie „Jazyky a SDK“. Programovací jazyk: Rust.

Instalace a systémové požadavky

Výrobce nabízí instalátory Přenosná verze pro systémy 64bit. Program funguje bez instalace (přenosná verze).

Aktualizace a historie verzí

Aktuální verze je 0.9.3, vydaná 3. listopadu 2023. Historie verzí sahá až k 28. srpna 2023: celkem 2 verze s odkazy na oficiální soubory. Od poslední aktualizace uplynul více než rok.

Oblíbenost a typy souborů

Zdrojový kód na GitHubu (mthom/scryer-prolog) má 2 462 hvězd. Ve Windows program registruje 1 typ souborů, mimo jiné .pl. Podobné programy: Go Programming Language, LLVM a Deno.

Popis projektu na GitHubu: “A modern Prolog implementation written mostly in Rust.”

Výhody / Nevýhody

Výhody

  • Otevřený zdrojový kód: kdokoli ho může zkontrolovat a sestavit
  • Přenosná verze: funguje bez instalace

Nevýhody

  • Chybí nativní sestavení ARM64
  • Více než rok bez aktualizace

Ve zkratce: Scryer Prolog je program pro Windows s otevřeným zdrojovým kódem (kategorie „Jazyky a SDK“); sestavení: 64bit. Aktualizace vycházejí stále méně často.

Je stažení programu Scryer Prolog bezpečné?

  • Soubor se stahuje z domény výrobce (github.com)
  • Odkaz ke stažení používá HTTPS
  • Hash SHA256 je zveřejněn – soubor lze ověřit: B6CA52B7D1E447A16CA55EC3BE3F3BA772021E3F6531C76ACAA62617C7973248 · Otevřít zprávu VirusTotal pro tento hash
  • Odkaz zatím nebyl ověřen
  • Otevřený zdrojový kód
  • ExeAtlas instalátory neukládá, nebalí ani nemění

Související návod: Jak ve Windows ověřit hash SHA256 souboru

Bezpečnostní postupy (OpenSSF Scorecard)

4,9/10

Automatické kontroly repozitáře mthom/scryer-prolog na GitHubu, které provádí Open Source Security Foundation; naposledy 19. října 2026.

  • Aktivně udržováno10
  • Bez nebezpečných workflow10
  • Bez binárních souborů v repozitáři10
  • Uvedená licence10
  • Zveřejněné balíčky10
  • Revize kódu8
  • Připnuté závislosti7
  • Omezená oprávnění tokenů0
  • Odznak OpenSSF Best Practices0
  • Bezpečnostní zásady0
  • Fuzzing0
  • Ochrana větví0
  • Podepsaná vydání0
  • Statická analýza kódu0

Skóre hodnotí, jak se projekt vyvíjí a vydává, ne to, zda je instalace programu bezpečná. scorecard.dev

Poslední verze

Všechny verze (2) ›
2023: 2 2 23
VerzeDatumVelikostSoubory
0.9.3Nejnovější 3. listopadu 2023 — 64bit ZIP
0.9.2 28. srpna 2023 — 64bit ZIP

Instalace z příkazového řádku

Tichá instalace ›
PowerShell
wingetwinget install --id mthom.ScryerProlog -e

Související návod: Jak používat winget: instalace a aktualizace programů

Také pro jiné systémy

macOS (Homebrew)brew install scryer-prolog

Informace

Výrobce
Mark Thom
Kategorie
Jazyky a SDK
Licence
BSD-3-Clause
Cena
Zdarma
Zdrojový kód
github.com/mthom/scryer-prolog
Programovací jazyk
Rust
Požadavky
Windows 11 / 10
Architektura
64bit
Instalátor
Přenosná verze
Verze
0.9.3
Datum vydání
3. listopadu 2023
Přidáno do katalogu
26. září 2023
Verzí v katalogu
2
Hvězdy na GitHubu
2 462
Forky na GitHubu
166
Web
scryer.pl
ID winget
mthom.ScryerProlog

Jaké soubory otevírá (1)

Hodnocení a recenze

–
0 hodnocení
50
40
30
20
10
Ohodnotit program

Zatím žádné recenze. Hodnocení můžete přidat jako první.

Alternativy k programu Scryer Prolog

Zobrazit vše ›
  • Go Programming Language1.27.0Jazyky a SDK
    Open source2,1 mil. ↓
  • LLVM23.1.4Jazyky a SDK · LLVM
    Open source2,8 mil. ↓
  • Deno2.9.8Jazyky a SDK · Deno Land Inc.
    Open source249,7 tis. ↓
  • CMake4.4.4Jazyky a SDK · Kitware
    Open source3,7 mil. ↓
  • Yarn1.22.22Jazyky a SDK · Yarn Contributors
    Open source1,9 mil. ↓
  • sbt2.0.11Jazyky a SDK · Lightbend, Inc.
    Open source263,6 tis. ↓
  • Ccache4.14.1Jazyky a SDK · Joel Rosdahl
    Open source2,2 mil. ↓
  • Dart SDK3.13.7Jazyky a SDK · Google
    Open source1,4 mil. ↓

Časté otázky

Je program Scryer Prolog zdarma?

Ano. Scryer Prolog je program s otevřeným zdrojovým kódem (licence BSD-3-Clause); stažení i používání je zdarma.

Je stažení programu Scryer Prolog bezpečné?

Soubor se stahuje z github.com – tato doména patří výrobci; ExeAtlas soubor neukládá ani nemění. Porovnejte SHA256 staženého souboru s hodnotou na této stránce nebo otevřete zprávu VirusTotal pro tento hash.

Jak nainstalovat Scryer Prolog přes winget?

Otevřete PowerShell nebo Windows Terminal a spusťte příkaz winget z této stránky. winget stáhne oficiální instalátor a před spuštěním ověří jeho hash SHA256.

Funguje Scryer Prolog na ARM (Windows on Arm)?

Sestavení ARM64 neexistuje; Windows 11 on Arm může verzi 64bit spustit pomocí emulace.

Kde stáhnout starší verze programu Scryer Prolog?

Stránka verzí obsahuje odkazy na oficiální instalátory všech verzí (2) od 28. srpna 2023.

Lze program Scryer Prolog používat bez oprávnění správce?

Ano, jde o přenosnou verzi: stačí ji rozbalit a spustit.

Jaké jsou alternativy k programu Scryer Prolog?

Go Programming Language, LLVM, Deno, CMake a Yarn. Srovnání najdete na stránce alternativ.

Tato stránka v dalších jazycích

Nahlásit chybu

Nejoblíbenější v kategorii „Jazyky a SDK“

Zobrazit vše
  1. LLVMJazyky a SDK · LLVM
  2. DenoJazyky a SDK · Deno Land Inc.
  3. CMakeJazyky a SDK · Kitware
  4. YarnJazyky a SDK · Yarn Contributors
  5. CcacheJazyky a SDK · Joel Rosdahl
  6. sbtJazyky a SDK · Lightbend, Inc.
  7. BOINCJazyky a SDK · Space Sciences Laboratory, U.C. Berkeley
  8. Dart SDKJazyky a SDK · Google
  9. NVM for WindowsJazyky a SDK · Ecor Ventures LLC

Štítky

Sdílet