Popularne: Dane zaktualizowano: 27 października 2026

Kategorie

Internet1356
Komunikacja321
Audio i wideo898
Grafika i projektowanie539
Biuro i produktywność1124
Narzędzia programistyczne3134
Narzędzia AI529
Bezpieczeństwo i prywatność385
Narzędzia systemowe3114
Gry523
Edukacja i nauka239
Sieć i IT284

Pobierz Scryer Prolog 0.9.3 na 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.

Opis producenta (angielski)

Czym jest Scryer Prolog?

Program Scryer Prolog wydaje Mark Thom. To oprogramowanie na Windows o otwartym kodzie źródłowym, kategoria „Języki i SDK”. Język programowania: Rust.

Instalacja i wymagania

Producent udostępnia instalatory Wersja przenośna dla systemów 64-bit. Program działa bez instalacji (wersja przenośna).

Aktualizacje i historia wersji

Bieżąca wersja to 0.9.3, wydana 3 listopada 2023. Najstarsza wersja w katalogu pochodzi z 28 sierpnia 2023. Łącznie: 2 wersje, wszystkie z linkami do oficjalnych plików. Od ostatniej aktualizacji minął ponad rok.

Popularność i typy plików

Kod źródłowy na GitHubie (mthom/scryer-prolog) ma 2462 gwiazdki. W systemie Windows program rejestruje 1 typ plików, m.in. .pl. Podobne programy: Go Programming Language, LLVM i Deno.

Opis projektu na GitHubie: “A modern Prolog implementation written mostly in Rust.”

Zalety / Wady

Zalety

  • Otwarty kod źródłowy: każdy może go przejrzeć i skompilować
  • Wersja przenośna: działa bez instalacji

Wady

  • Brak natywnej wersji ARM64
  • Brak aktualizacji od ponad roku

W skrócie: Scryer Prolog to program na Windows o otwartym kodzie źródłowym z kategorii „Języki i SDK”; wersje: 64-bit. Aktualizacje pojawiają się coraz rzadziej.

Czy pobieranie programu Scryer Prolog jest bezpieczne?

  • Plik jest pobierany z domeny producenta (github.com)
  • Link do pobrania używa HTTPS
  • Opublikowano sumę SHA256, więc plik można zweryfikować: B6CA52B7D1E447A16CA55EC3BE3F3BA772021E3F6531C76ACAA62617C7973248 · Otwórz raport VirusTotal dla tej sumy
  • Link nie był jeszcze sprawdzany
  • Kod źródłowy jest publiczny
  • ExeAtlas nie przechowuje, nie opakowuje i nie modyfikuje instalatorów

Powiązany poradnik: Jak sprawdzić sumę SHA256 pliku w Windows

Praktyki bezpieczeństwa (OpenSSF Scorecard)

4,9/10

Automatyczne testy repozytorium mthom/scryer-prolog na GitHubie, przeprowadzane przez Open Source Security Foundation; ostatni test: 19 października 2026.

  • Aktywnie rozwijany10
  • Brak niebezpiecznych workflow10
  • Brak plików binarnych w repozytorium10
  • Określona licencja10
  • Publikowane pakiety10
  • Przegląd kodu8
  • Przypięte zależności7
  • Ograniczone uprawnienia tokenów0
  • Odznaka OpenSSF Best Practices0
  • Polityka bezpieczeństwa0
  • Fuzzing0
  • Ochrona gałęzi0
  • Podpisane wydania0
  • Statyczna analiza kodu0

Wynik ocenia sposób tworzenia i wydawania projektu, a nie to, czy instalacja programu jest bezpieczna. scorecard.dev

Najnowsze wersje

Wszystkie wersje (2) ›
2023: 2 2 23
WersjaDataRozmiarPliki
0.9.3Najnowsza 3 listopada 2023 — 64-bit ZIP
0.9.2 28 sierpnia 2023 — 64-bit ZIP

Instalacja z wiersza poleceń

Cicha instalacja ›
PowerShell
wingetwinget install --id mthom.ScryerProlog -e

Powiązany poradnik: Winget – jak instalować i aktualizować programy

Także na inne systemy

macOS (Homebrew)brew install scryer-prolog

Informacje

Producent
Mark Thom
Kategoria
Języki i SDK
Licencja
BSD-3-Clause
Cena
Za darmo
Kod źródłowy
github.com/mthom/scryer-prolog
Język programowania
Rust
Wymagania
Windows 11 / 10
Architektura
64-bit
Instalator
Wersja przenośna
Wersja
0.9.3
Data wydania
3 listopada 2023
Dodano do katalogu
26 września 2023
Wersje w katalogu
2
Gwiazdki GitHub
2462
Forki na GitHubie
166
Strona WWW
scryer.pl
ID winget
mthom.ScryerProlog

Obsługiwane typy plików (1)

Oceny i opinie

–
0 ocen
50
40
30
20
10
Oceń program

Brak opinii. Można dodać pierwszą ocenę.

Alternatywy dla programu Scryer Prolog

Zobacz wszystkie ›
  • Go Programming Language1.27.0Języki i SDK
    Open source2,1 mln ↓
  • LLVM23.1.4Języki i SDK · LLVM
    Open source2,8 mln ↓
  • Deno2.9.8Języki i SDK · Deno Land Inc.
    Open source249,7 tys. ↓
  • CMake4.4.4Języki i SDK · Kitware
    Open source3,7 mln ↓
  • Yarn1.22.22Języki i SDK · Yarn Contributors
    Open source1,9 mln ↓
  • sbt2.0.11Języki i SDK · Lightbend, Inc.
    Open source263,6 tys. ↓
  • Ccache4.14.1Języki i SDK · Joel Rosdahl
    Open source2,2 mln ↓
  • Dart SDK3.13.7Języki i SDK · Google
    Open source1,4 mln ↓

Najczęstsze pytania

Czy program Scryer Prolog jest darmowy?

Tak. Scryer Prolog to oprogramowanie open source na licencji BSD-3-Clause; można je pobrać i używać za darmo.

Czy pobieranie programu Scryer Prolog jest bezpieczne?

Plik jest pobierany z serwera github.com, który należy do producenta; ExeAtlas nie przechowuje ani nie modyfikuje pliku. Sumę SHA256 pobranego pliku można porównać z podaną na tej stronie albo otworzyć raport VirusTotal dla tej sumy.

Jak zainstalować program Scryer Prolog przez winget?

Wystarczy otworzyć PowerShell lub Terminal Windows i uruchomić polecenie winget podane na tej stronie. winget pobiera oficjalny instalator i przed uruchomieniem sprawdza jego sumę SHA256.

Czy Scryer Prolog działa na procesorach ARM (Windows on Arm)?

Brak wersji ARM64; Windows 11 on Arm może uruchomić wersję 64-bit w emulacji.

Gdzie pobrać starsze wersje programu Scryer Prolog?

Na stronie wersji zebrano linki do oficjalnych instalatorów wszystkich wersji (2), aż do 28 sierpnia 2023.

Czy z programu Scryer Prolog można korzystać bez uprawnień administratora?

Tak, to wersja przenośna: wystarczy rozpakować archiwum i uruchomić program.

Jakie są alternatywy dla programu Scryer Prolog?

Go Programming Language, LLVM, Deno, CMake i Yarn. Strona alternatyw zawiera ich porównanie.

Ta strona w innych językach

Zgłoś błąd

Najpopularniejsze w kategorii „Języki i SDK”

Zobacz wszystkie
  1. LLVMJęzyki i SDK · LLVM
  2. DenoJęzyki i SDK · Deno Land Inc.
  3. CMakeJęzyki i SDK · Kitware
  4. YarnJęzyki i SDK · Yarn Contributors
  5. CcacheJęzyki i SDK · Joel Rosdahl
  6. sbtJęzyki i SDK · Lightbend, Inc.
  7. BOINCJęzyki i SDK · Space Sciences Laboratory, U.C. Berkeley
  8. Dart SDKJęzyki i SDK · Google
  9. NVM for WindowsJęzyki i SDK · Ecor Ventures LLC

Tagi

Udostępnij