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.
Väljaandja kirjeldus (inglise)
Mis on Scryer Prolog?
Programm Scryer Prolog on avatud lähtekoodiga tarkvara Windowsile, mille väljaandja on Mark Thom. Kategooria: keeled ja sdk-d. Programmeerimiskeel: Rust.
Paigaldamine ja nõuded
Väljaandja pakub paigaldusfaile vormingus Portatiivne; saadaval on 64-bitine versioon. Programm töötab ilma paigaldamata (portatiivne).
Uuendused ja versiooniajalugu
Uusim versioon on 0.9.3, avaldatud 3. november 2023. Versiooniajalugu ulatub kuupäevani 28. august 2023: 2 väljalaset, kõik seotud ametlike failidega. Viimasest uuendusest on möödas üle aasta.
Populaarsus ja failitüübid
Lähtekoodil GitHubis (mthom/scryer-prolog) on 2462 tähte. Windowsis registreerib see 1 failitüübi, nende seas .pl. Sarnased programmid on näiteks Go Programming Language, LLVM ja Deno.
Projekti kirjeldus GitHubis: “A modern Prolog implementation written mostly in Rust.”
Plussid / Miinused
Plussid
- Avatud lähtekood: koodi saab igaüks üle vaadata ja ise kompileerida
- Portatiivne: töötab ilma paigaldamata
Miinused
- Natiivne ARM64-versioon puudub
- Pole uuendatud üle aasta
Kokkuvõttes: Scryer Prolog on avatud lähtekoodiga Windowsi tööriist kategooriast „Keeled ja SDK-d“ (64-bitine). Uuendused on harvenenud.
Kas programmi Scryer Prolog allalaadimine on ohutu?
- Faili jagab github.com, väljaandja enda domeen
- Allalaadimislink kasutab HTTPS-i
- SHA256-räsi on avaldatud, nii et faili saab kontrollida:
B6CA52B7D1E447A16CA55EC3BE3F3BA772021E3F6531C76ACAA62617C7973248· Ava selle räsi VirusTotali aruanne - Linki pole veel kontrollitud
- Lähtekood on avalik
- ExeAtlas ei majuta, ümbrista ega muuda paigaldusfaile
Seotud juhend: Kuidas kontrollida faili SHA256-räsi Windowsis
Turvapraktikad (OpenSSF Scorecard)
Open Source Security Foundationi automaatsed kontrollid GitHubi hoidlale mthom/scryer-prolog, viimati tehtud 19. oktoober 2026.
- Aktiivselt hooldatud10
- Ohtlikke töövooge pole10
- Hoidlas pole binaarfaile10
- Litsents määratud10
- Avaldatud paketid10
- Koodi läbivaatus8
- Fikseeritud sõltuvused7
- Piiratud tokeniõigused0
- OpenSSF Best Practices märk0
- Turvapoliitika0
- Fuzz-testimine0
- Harude kaitse0
- Allkirjastatud väljalasked0
- Staatiline koodianalüüs0
Hinne näitab, kuidas projekti arendatakse ja välja antakse, mitte seda, kas programmi on ohutu paigaldada. scorecard.dev
Viimased versioonid
Kõik 2 versiooni ›| Versioon | Kuupäev | Suurus | Failid |
|---|---|---|---|
| 0.9.3Uusim | 3. november 2023 | — | 64-bitine ZIP |
| 0.9.2 | 28. august 2023 | — | 64-bitine ZIP |
Paigaldamine käsurealt
Vaikne paigaldus ›winget install --id mthom.ScryerProlog -eSeotud juhend: Kuidas kasutada wingetit: paigaldus ja uuendamine
Saadaval ka teistele süsteemidele
brew install scryer-prologTeave
- Väljaandja
- Mark Thom
- Kategooria
- Keeled ja SDK-d
- Litsents
- BSD-3-Clause
- Hind
- Tasuta
- Lähtekood
- github.com/mthom/scryer-prolog
- Programmeerimiskeel
- Rust
- Nõuded
- Windows 11 / 10
- Arhitektuur
- 64-bitine
- Paigaldaja
- Portatiivne
- Versioon
- 0.9.3
- Avaldatud
- 3. november 2023
- Lisatud kataloogi
- 26. september 2023
- Versioone kataloogis
- 2
- GitHubi tähed
- 2462
- GitHubi harud (forks)
- 166
- Veebileht
- scryer.pl
- winget ID
- mthom.ScryerProlog
Failitüübid, mida see avab (1)
Hinnangud ja arvustused
Arvustusi veel pole. Hinda esimesena.
Programmi Scryer Prolog alternatiivid
Vaata kõiki ›-
Avatud lähtekood2,1 mln ↓ -
Avatud lähtekood2,8 mln ↓ -
Avatud lähtekood249,7 tuh ↓ -
Avatud lähtekood3,7 mln ↓ -
Avatud lähtekood1,9 mln ↓ -
Avatud lähtekood265,2 tuh ↓ -
Avatud lähtekood2,2 mln ↓ -
Avatud lähtekood1,5 mln ↓
Korduma kippuvad küsimused
Kas Scryer Prolog on tasuta?
Jah. Scryer Prolog on avatud lähtekoodiga tarkvara (litsents BSD-3-Clause).
Kas programmi Scryer Prolog allalaadimine on ohutu?
Fail laaditakse alla aadressilt github.com, mis kuulub väljaandjale; ExeAtlas faili ei majuta ega muuda. Võrdle faili SHA256-räsi siin näidatuga või ava selle räsi VirusTotali aruanne.
Kuidas paigaldada programmi Scryer Prolog wingetiga?
Ava PowerShell või Windows Terminal ja käivita sellel lehel näidatud winget-käsk. winget laadib alla ametliku paigaldusfaili ja kontrollib enne käivitamist selle SHA256-räsi.
Kas Scryer Prolog töötab ARM-protsessoriga (Windows on Arm)?
ARM64-versiooni pole; Windows 11 on Arm saab 64-bitine versiooni käivitada emulatsiooni abil.
Kust saab alla laadida programmi Scryer Prolog vanema versiooni?
Versioonide lehel on kõik 2 versiooni koos linkidega ametlikele paigaldusfailidele; vanim neist on avaldatud 28. august 2023.
Kas programmi Scryer Prolog saab kasutada ilma administraatori õigusteta?
Jah, see on portatiivne: paki lahti ja käivita.
Millised on programmi Scryer Prolog alternatiivid?
Go Programming Language, LLVM, Deno, CMake ja Yarn. Alternatiivide leht võrdleb neid.
