Obľúbené: Dáta aktualizované: 27. októbra 2026

Kategórie

Internet1 356
Komunikácia321
Audio a video898
Grafika a dizajn539
Kancelária a produktivita1 124
Vývoj3 134
Umelá inteligencia529
Zabezpečenie385
Systémové nástroje3 114
Hry523
Vzdelávanie a veda239
Sieť a IT284

Stiahnuť Scryer Prolog 0.9.3 pre 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ýrobcu (angličtina)

Čo je Scryer Prolog?

Program Scryer Prolog vydáva Mark Thom. Ide o softvér pre Windows s otvoreným zdrojovým kódom, kategória „Jazyky a SDK“. Programovací jazyk: Rust.

Inštalácia a systémové požiadavky

Výrobca ponúka inštalátory Prenosná verzia pre systémy 64-bit. Program funguje bez inštalácie (prenosná verzia).

Aktualizácie a história verzií

Najnovšia verzia je 0.9.3, vydaná 3. novembra 2023. História verzií siaha až k 28. augusta 2023: spolu 2 verzie s odkazmi na oficiálne súbory. Od poslednej aktualizácie uplynul viac ako rok.

Obľúbenosť a typy súborov

Zdrojový kód na GitHube (mthom/scryer-prolog) má 2 462 hviezdičiek. Vo Windows program registruje 1 typ súborov, okrem iného .pl. Podobné programy: Go Programming Language, LLVM a Deno.

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

Výhody / Nevýhody

Výhody

  • Otvorený zdrojový kód: ktokoľvek ho môže skontrolovať a zostaviť
  • Prenosná verzia: funguje bez inštalácie

Nevýhody

  • Chýba natívne zostavenie ARM64
  • Viac ako rok bez aktualizácie

V skratke: Scryer Prolog je program pre Windows s otvoreným zdrojovým kódom (kategória „Jazyky a SDK“); zostavenia: 64-bit. Aktualizácie vychádzajú čoraz menej často.

Je stiahnutie programu Scryer Prolog bezpečné?

  • Súbor sa sťahuje z domény výrobcu (github.com)
  • Odkaz na stiahnutie používa HTTPS
  • Hash SHA256 je zverejnený – súbor sa dá overiť: B6CA52B7D1E447A16CA55EC3BE3F3BA772021E3F6531C76ACAA62617C7973248 · Otvoriť správu VirusTotal pre tento hash
  • Odkaz zatiaľ nebol overený
  • Otvorený zdrojový kód
  • ExeAtlas inštalátory neukladá, nebalí ani nemení

Súvisiaci návod: Ako vo Windows overiť hash SHA256 súboru

Bezpečnostné postupy (OpenSSF Scorecard)

4,9/10

Automatické kontroly repozitára mthom/scryer-prolog na GitHube, ktoré vykonáva Open Source Security Foundation; naposledy 19. októbra 2026.

  • Aktívne udržiavaný10
  • Bez nebezpečných workflow10
  • Bez binárnych súborov v repozitári10
  • Uvedená licencia10
  • Zverejnené balíky10
  • Revízia kódu8
  • Pripnuté závislosti7
  • Obmedzené oprávnenia tokenov0
  • Odznak OpenSSF Best Practices0
  • Bezpečnostné zásady0
  • Fuzzing0
  • Ochrana vetiev0
  • Podpísané vydania0
  • Statická analýza kódu0

Skóre hodnotí, ako sa projekt vyvíja a vydáva, nie to, či je inštalácia programu bezpečná. scorecard.dev

Posledné verzie

Všetky verzie (2) ›
2023: 2 2 23
VerziaDátumVeľkosťSúbory
0.9.3Najnovšia 3. novembra 2023 — 64-bit ZIP
0.9.2 28. augusta 2023 — 64-bit ZIP

Inštalácia z príkazového riadka

Tichá inštalácia ›
PowerShell
wingetwinget install --id mthom.ScryerProlog -e

Súvisiaci návod: Ako používať winget: inštalácia a aktualizácia programov

Aj pre iné systémy

macOS (Homebrew)brew install scryer-prolog

Informácie

Výrobca
Mark Thom
Kategória
Jazyky a SDK
Licencia
BSD-3-Clause
Cena
Zadarmo
Zdrojový kód
github.com/mthom/scryer-prolog
Programovací jazyk
Rust
Požiadavky
Windows 11 / 10
Architektúra
64-bit
Inštalátor
Prenosná verzia
Verzia
0.9.3
Dátum vydania
3. novembra 2023
Pridané do katalógu
26. septembra 2023
Verzií v katalógu
2
Hviezdičky na GitHube
2 462
Forky na GitHube
166
Web
scryer.pl
ID winget
mthom.ScryerProlog

Aké súbory otvára (1)

Hodnotenia a recenzie

–
0 hodnotení
50
40
30
20
10
Ohodnotiť program

Zatiaľ žiadne recenzie. Hodnotenie môžete pridať ako prví.

Alternatívy k programu Scryer Prolog

Zobraziť všetko ›
  • 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 zadarmo?

Áno. Scryer Prolog je program s otvoreným zdrojovým kódom (licencia BSD-3-Clause); stiahnutie aj používanie je zadarmo.

Je stiahnutie programu Scryer Prolog bezpečné?

Súbor sa sťahuje z github.com – táto doména patrí výrobcovi; ExeAtlas súbor neukladá ani nemení. Porovnajte SHA256 stiahnutého súboru s hodnotou na tejto stránke alebo otvorte správu VirusTotal pre tento hash.

Ako nainštalovať Scryer Prolog cez winget?

Otvorte PowerShell alebo Windows Terminal a spustite príkaz winget z tejto stránky. winget stiahne oficiálny inštalátor a pred spustením overí jeho hash SHA256.

Funguje Scryer Prolog na ARM (Windows on Arm)?

Zostavenie ARM64 neexistuje; Windows 11 on Arm dokáže verziu 64-bit spustiť pomocou emulácie.

Kde stiahnuť staršie verzie programu Scryer Prolog?

Stránka verzií obsahuje odkazy na oficiálne inštalátory všetkých verzií (2) od 28. augusta 2023.

Dá sa program Scryer Prolog používať bez oprávnení správcu?

Áno, ide o prenosnú verziu: stačí ju rozbaliť a spustiť.

Aké sú alternatívy k programu Scryer Prolog?

Go Programming Language, LLVM, Deno, CMake a Yarn. Porovnanie nájdete na stránke alternatív.

Táto stránka v ďalších jazykoch

Nahlásiť chybu

Najobľúbenejšie v kategórii „Jazyky a SDK“

Zobraziť všetko
  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

Zdieľať