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.
Leidėjo aprašymas (anglų)
Kas yra Scryer Prolog?
Programa Scryer Prolog yra atvirojo kodo programinė įranga, skirta Windows (kategorija „Kalbos ir SDK“). Ją leidžia Mark Thom. Programavimo kalba: Rust.
Diegimas ir sistemos reikalavimai
Leidėjas siūlo Nešiojamoji versija diegimo failus šioms architektūroms: 64 bitų. Programa veikia be diegimo (nešiojamoji versija).
Atnaujinimai ir versijų istorija
Naujausia versija – 0.9.3, išleista 2023 m. lapkričio 3 d. Versijų istorija siekia 2023 m. rugpjūčio 28 d.: iš viso 2 laidos, visos su nuorodomis į oficialius failus. Nuo paskutinio atnaujinimo praėjo daugiau nei metai.
Populiarumas ir failų tipai
Pirminis kodas „GitHub“ (mthom/scryer-prolog) turi 2 462 žvaigždutes. Sistemoje Windows programa registruoja 1 failų tipą, tarp jų .pl. Panašios programos: Go Programming Language, LLVM ir Deno.
Projekto aprašymas „GitHub“: “A modern Prolog implementation written mostly in Rust.”
Privalumai / Trūkumai
Privalumai
- Atvirasis kodas: bet kas gali jį peržiūrėti ir sukompiliuoti
- Nešiojamoji versija: veikia be diegimo
Trūkumai
- Nėra natūralios ARM64 versijos
- Daugiau nei metus neatnaujinta
Trumpai: Scryer Prolog – atvirojo kodo programa, skirta Windows (kategorija „Kalbos ir SDK“), prieinama 64 bitų sistemoms. Atnaujinimai vis retesni.
Ar saugu atsisiųsti programą Scryer Prolog?
- Failas atsisiunčiamas iš leidėjo domeno (github.com)
- Atsisiuntimo nuoroda naudoja HTTPS
- Paskelbta SHA256 maišos reikšmė, todėl failą galima patikrinti:
B6CA52B7D1E447A16CA55EC3BE3F3BA772021E3F6531C76ACAA62617C7973248· Atidaryti šios maišos reikšmės VirusTotal ataskaitą - Nuoroda dar nepatikrinta
- Pirminis kodas viešas
- ExeAtlas diegimo failų nelaiko, neįpakuoja ir nekeičia
Susijusi instrukcija: Kaip patikrinti failo SHA256 maišos reikšmę Windows
Saugos praktika (OpenSSF Scorecard)
Automatiniai „GitHub“ saugyklos mthom/scryer-prolog patikrinimai, kuriuos atlieka Open Source Security Foundation; paskutinis patikrinimas: 2026 m. spalio 19 d..
- Aktyviai prižiūrima10
- Nėra pavojingų darbo eigų10
- Saugykloje nėra dvejetainių failų10
- Nurodyta licencija10
- Paskelbti paketai10
- Kodo peržiūra8
- Užfiksuotos priklausomybės7
- Apribotos prieigos raktų teisės0
- OpenSSF Best Practices ženklelis0
- Saugos politika0
- Fuzzing testavimas0
- Šakų apsauga0
- Pasirašytos laidos0
- Statinė kodo analizė0
Įvertinimas parodo, kaip projektas kuriamas ir leidžiamas, o ne tai, ar programą saugu įdiegti. scorecard.dev
Naujausios versijos
Visos versijos (2) ›| Versija | Data | Dydis | Failai |
|---|---|---|---|
| 0.9.3Naujausia | 2023 m. lapkričio 3 d. | — | 64 bitų ZIP |
| 0.9.2 | 2023 m. rugpjūčio 28 d. | — | 64 bitų ZIP |
Diegimas iš komandų eilutės
Tylusis diegimas ›winget install --id mthom.ScryerProlog -eSusijusi instrukcija: Kaip naudoti winget: programų diegimas ir naujinimas
Taip pat kitoms sistemoms
brew install scryer-prologInformacija
- Leidėjas
- Mark Thom
- Kategorija
- Kalbos ir SDK
- Licencija
- BSD-3-Clause
- Kaina
- Nemokama
- Pirminis kodas
- github.com/mthom/scryer-prolog
- Programavimo kalba
- Rust
- Reikalavimai
- Windows 11 / 10
- Architektūra
- 64 bitų
- Diegimo failas
- Nešiojamoji versija
- Versija
- 0.9.3
- Išleista
- 2023 m. lapkričio 3 d.
- Įtraukta į katalogą
- 2023 m. rugsėjo 26 d.
- Versijų skaičius
- 2
- Žvaigždutės „GitHub“
- 2 462
- Atšakos „GitHub“
- 166
- Svetainė
- scryer.pl
- winget ID
- mthom.ScryerProlog
Kokius failus atidaro (1)
Įvertinimai ir atsiliepimai
Atsiliepimų dar nėra. Galite įvertinti pirmas.
Programos Scryer Prolog alternatyvos
Rodyti viską ›-
Atvirasis kodas2,1 mln. ↓ -
Atvirasis kodas2,8 mln. ↓ -
Atvirasis kodas249,7 tūkst. ↓ -
Atvirasis kodas3,7 mln. ↓ -
Atvirasis kodas1,9 mln. ↓ -
Atvirasis kodas263,6 tūkst. ↓ -
Atvirasis kodas2,2 mln. ↓ -
Atvirasis kodas1,4 mln. ↓
Dažniausi klausimai
Ar programa Scryer Prolog nemokama?
Taip. Scryer Prolog – atvirojo kodo programa (licencija BSD-3-Clause), kurią galima nemokamai atsisiųsti ir naudoti.
Ar saugu atsisiųsti programą Scryer Prolog?
Failas atsisiunčiamas iš domeno github.com, kuris priklauso leidėjui; ExeAtlas failo nelaiko ir nekeičia. Palyginkite atsisiųsto failo SHA256 maišos reikšmę su nurodyta šiame puslapyje arba atidarykite tos reikšmės VirusTotal ataskaitą.
Kaip įdiegti Scryer Prolog su winget?
Atidarykite PowerShell arba Windows Terminal ir paleiskite šiame puslapyje pateiktą winget komandą. winget atsisiunčia oficialų diegimo failą ir prieš paleisdamas patikrina jo SHA256 maišos reikšmę.
Ar Scryer Prolog veikia ARM procesoriuose (Windows on Arm)?
ARM64 versijos nėra; Windows 11 on Arm gali paleisti 64 bitų versiją emuliuodama.
Kur atsisiųsti senesnes programos Scryer Prolog versijas?
Versijų puslapyje pateiktos nuorodos į visų versijų (2) oficialius diegimo failus, pradedant 2023 m. rugpjūčio 28 d.
Ar programą Scryer Prolog galima naudoti be administratoriaus teisių?
Taip, tai nešiojamoji versija: pakanka išskleisti archyvą ir paleisti programą.
Kokios yra programos Scryer Prolog alternatyvos?
Go Programming Language, LLVM, Deno, CMake ir Yarn. Jos palygintos alternatyvų puslapyje.
