Priljubljeno: Podatki posodobljeni: 27. oktober 2026

Kategorije

Internet1356
Komunikacija321
Zvok in video898
Grafika in oblikovanje539
Pisarna in produktivnost1124
Orodja za razvijalce3134
Orodja UI529
Varnost in zasebnost385
Sistemska orodja3114
Igre523
Izobraževanje in znanost239
Omrežje in IT284

Prenesite Scryer Prolog 0.9.3 za 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 izdajatelja (angleščina)

Kaj je Scryer Prolog?

Program Scryer Prolog je odprtokodna programska oprema za Windows v kategoriji „Jeziki in SDK“. Izdaja ga Mark Thom. Programski jezik: Rust.

Namestitev in sistemske zahteve

Izdajatelj ponuja namestitvene datoteke vrste Prenosna različica za sisteme 64-bitno. Program deluje brez namestitve (prenosna različica).

Posodobitve in zgodovina različic

Najnovejša različica je 0.9.3, izdana 3. november 2023. Zgodovina različic sega do 28. avgust 2023: skupaj 2 izdaji, vse s povezavami do uradnih datotek. Od zadnje posodobitve je minilo več kot leto dni.

Priljubljenost in vrste datotek

Izvorna koda na GitHubu (mthom/scryer-prolog) ima 2462 zvezdic. V sistemu Windows program registrira 1 vrsto datotek, med njimi .pl. Podobni programi: Go Programming Language, LLVM in Deno.

Opis projekta na GitHubu: “A modern Prolog implementation written mostly in Rust.”

Prednosti / Slabosti

Prednosti

  • Odprta koda: vsakdo jo lahko pregleda in sam prevede
  • Prenosna različica: deluje brez namestitve

Slabosti

  • Ni izvorne različice ARM64
  • Več kot leto dni brez posodobitve

Na kratko: Scryer Prolog je odprtokoden program za Windows (kategorija „Jeziki in SDK“), na voljo za 64-bitno. Posodobitve so vse redkejše.

Je prenos programa Scryer Prolog varen?

  • Datoteka se prenese z domene izdajatelja (github.com)
  • Povezava za prenos uporablja HTTPS
  • Objavljena je zgoščena vrednost SHA256, zato je datoteko mogoče preveriti: B6CA52B7D1E447A16CA55EC3BE3F3BA772021E3F6531C76ACAA62617C7973248 · Odpri poročilo VirusTotal za to zgoščeno vrednost
  • Povezava še ni bila preverjena
  • Izvorna koda je javna
  • ExeAtlas namestitvenih datotek ne gosti, ne ovija in ne spreminja

Povezan vodnik: Kako v sistemu Windows preveriti SHA256 datoteke

Varnostne prakse (OpenSSF Scorecard)

4,9/10

Samodejni pregledi repozitorija mthom/scryer-prolog na GitHubu, ki jih izvaja Open Source Security Foundation; zadnji pregled: 19. oktober 2026.

  • Dejavno vzdrževano10
  • Brez nevarnih delovnih tokov10
  • Brez binarnih datotek v repozitoriju10
  • Navedena licenca10
  • Objavljeni paketi10
  • Pregled kode8
  • Pripete odvisnosti7
  • Omejena dovoljenja žetonov0
  • Značka OpenSSF Best Practices0
  • Varnostni pravilnik0
  • Fuzzing0
  • Zaščita vej0
  • Podpisane izdaje0
  • Statična analiza kode0

Ocena vrednoti, kako se projekt razvija in izdaja, ne pa tega, ali je namestitev programa varna. scorecard.dev

Najnovejše različice

Vse različice (2) ›
2023: 2 2 23
RazličicaDatumVelikostDatoteke
0.9.3Najnovejša 3. november 2023 — 64-bitno ZIP
0.9.2 28. avgust 2023 — 64-bitno ZIP

Namestitev iz ukazne vrstice

Tiha namestitev ›
PowerShell
wingetwinget install --id mthom.ScryerProlog -e

Povezan vodnik: Kako uporabljati winget: namestitev in posodobitve

Tudi za druge sisteme

macOS (Homebrew)brew install scryer-prolog

Informacije

Izdajatelj
Mark Thom
Kategorija
Jeziki in SDK
Licenca
BSD-3-Clause
Cena
Brezplačno
Izvorna koda
github.com/mthom/scryer-prolog
Programski jezik
Rust
Zahteve
Windows 11 / 10
Arhitektura
64-bitno
Namestitvena datoteka
Prenosna različica
Različica
0.9.3
Izdano
3. november 2023
Dodano v katalog
26. september 2023
Število različic
2
Zvezdice na GitHubu
2462
Razcepi na GitHubu
166
Spletna stran
scryer.pl
ID winget
mthom.ScryerProlog

Katere datoteke odpre (1)

Ocene in mnenja

–
0 ocen
50
40
30
20
10
Ocenite program

Mnenj še ni. Lahko ste prvi, ki oceni program.

Alternative za program Scryer Prolog

Prikaži vse ›
  • Go Programming Language1.27.0Jeziki in SDK
    Odprta koda2,1 mio. ↓
  • LLVM23.1.4Jeziki in SDK · LLVM
    Odprta koda2,8 mio. ↓
  • Deno2.9.8Jeziki in SDK · Deno Land Inc.
    Odprta koda249,7 tis. ↓
  • CMake4.4.4Jeziki in SDK · Kitware
    Odprta koda3,7 mio. ↓
  • Yarn1.22.22Jeziki in SDK · Yarn Contributors
    Odprta koda1,9 mio. ↓
  • sbt2.0.11Jeziki in SDK · Lightbend, Inc.
    Odprta koda263,6 tis. ↓
  • Ccache4.14.1Jeziki in SDK · Joel Rosdahl
    Odprta koda2,2 mio. ↓
  • Dart SDK3.13.7Jeziki in SDK · Google
    Odprta koda1,4 mio. ↓

Pogosta vprašanja

Je program Scryer Prolog brezplačen?

Da. Scryer Prolog je odprtokoden program (licenca BSD-3-Clause), ki ga je mogoče brezplačno prenesti in uporabljati.

Je prenos programa Scryer Prolog varen?

Datoteka se prenese z domene github.com, ki pripada izdajatelju; ExeAtlas datoteke ne gosti in je ne spreminja. Zgoščeno vrednost SHA256 prenesene datoteke primerjajte s tisto na tej strani ali odprite poročilo VirusTotal za to vrednost.

Kako namestiti Scryer Prolog z wingetom?

Odprite PowerShell ali Windows Terminal in zaženite ukaz winget s te strani. winget prenese uradno namestitveno datoteko in pred zagonom preveri njeno zgoščeno vrednost SHA256.

Ali Scryer Prolog deluje na procesorjih ARM (Windows on Arm)?

Različice ARM64 ni; Windows 11 on Arm lahko različico 64-bitno zažene z emulacijo.

Kje prenesti starejše različice programa Scryer Prolog?

Na strani z različicami so povezave do uradnih namestitvenih datotek vseh različic (2), od 28. avgust 2023 naprej.

Ali je program Scryer Prolog mogoče uporabljati brez skrbniških pravic?

Da, gre za prenosno različico: arhiv je dovolj razpakirati in program zagnati.

Katere so alternative za program Scryer Prolog?

Go Programming Language, LLVM, Deno, CMake in Yarn. Primerjava je na strani z alternativami.

Ta stran v drugih jezikih

Prijavi napako

Najbolj priljubljeno v kategoriji „Jeziki in SDK“

Prikaži vse
  1. LLVMJeziki in SDK · LLVM
  2. DenoJeziki in SDK · Deno Land Inc.
  3. CMakeJeziki in SDK · Kitware
  4. YarnJeziki in SDK · Yarn Contributors
  5. CcacheJeziki in SDK · Joel Rosdahl
  6. sbtJeziki in SDK · Lightbend, Inc.
  7. BOINCJeziki in SDK · Space Sciences Laboratory, U.C. Berkeley
  8. Dart SDKJeziki in SDK · Google
  9. NVM for WindowsJeziki in SDK · Ecor Ventures LLC

Oznake

Deli