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.
Maelezo ya mchapishaji (Kiingereza)
Scryer Prolog ni nini?
Programu Scryer Prolog inachapishwa na Mark Thom. Ni programu ya chanzo huria ya Windows iliyo katika kundi la “Lugha na SDK”. Imeandikwa kwa Rust.
Usakinishaji na mahitaji
Mchapishaji hutoa visakinishi vya Portable kwa Windows ya 64-bit. Inafanya kazi bila kusakinishwa (portable).
Masasisho na historia ya matoleo
Toleo la sasa ni 0.9.3, lililotolewa 3 Novemba 2023. Historia ya matoleo inarudi nyuma hadi 28 Agosti 2023: matoleo 2, yote yakiwa na viungo vya faili rasmi. Sasisho la mwisho lina umri wa zaidi ya mwaka mmoja.
Umaarufu na aina za faili
Msimbo chanzo kwenye GitHub (mthom/scryer-prolog) una nyota 2,462. Kwenye Windows inasajili aina 1 ya faili, zikiwemo .pl. Programu zinazofanana ni pamoja na Go Programming Language, LLVM na Deno.
Maelezo ya mradi kwenye GitHub: “A modern Prolog implementation written mostly in Rust.”
Faida / Hasara
Faida
- Chanzo huria: mtu yeyote anaweza kukagua na kujenga msimbo
- Portable: inafanya kazi bila kusakinishwa
Hasara
- Hakuna toleo asili la ARM64
- Hakuna sasisho kwa zaidi ya mwaka mmoja
Kwa ufupi: Scryer Prolog ni zana ya chanzo huria ya kundi la “Lugha na SDK” kwa kompyuta za 64-bit. Masasisho yamepungua.
Je, ni salama kupakua Scryer Prolog?
- Faili inatolewa na github.com, kikoa cha mchapishaji mwenyewe
- Kiungo cha kupakua kinatumia HTTPS
- Hashi ya SHA256 imechapishwa, hivyo unaweza kuthibitisha faili:
B6CA52B7D1E447A16CA55EC3BE3F3BA772021E3F6531C76ACAA62617C7973248· Fungua ripoti ya VirusTotal ya hashi hii - Kiungo bado hakijakaguliwa
- Msimbo chanzo uko wazi kwa umma
- ExeAtlas haihifadhi, haifungi wala haibadilishi visakinishi
Mwongozo unaohusiana: Jinsi ya kukagua hashi ya SHA256 ya faili kwenye Windows
Mbinu za usalama (OpenSSF Scorecard)
Ukaguzi wa kiotomatiki wa hazina ya mthom/scryer-prolog kwenye GitHub uliofanywa na Open Source Security Foundation, mara ya mwisho tarehe 19 Oktoba 2026.
- Unadumishwa kikamilifu10
- Hakuna workflow hatari10
- Hakuna faili za binary kwenye hazina10
- Leseni imetajwa10
- Vifurushi vilivyochapishwa10
- Ukaguzi wa msimbo8
- Vitegemezi vilivyobanwa toleo7
- Ruhusa za tokeni zilizobanwa0
- Beji ya OpenSSF Best Practices0
- Sera ya usalama0
- Fuzzing0
- Ulinzi wa matawi0
- Matoleo yaliyotiwa sahihi0
- Uchambuzi tuli wa msimbo0
Alama hii inapima jinsi mradi unavyoendelezwa na kutolewa, si kama programu ni salama kusakinisha. scorecard.dev
Matoleo ya karibuni
Matoleo yote 2 ›| Toleo | Tarehe | Ukubwa | Faili |
|---|---|---|---|
| 0.9.3Jipya zaidi | 3 Novemba 2023 | — | 64-bit ZIP |
| 0.9.2 | 28 Agosti 2023 | — | 64-bit ZIP |
Kusakinisha kwa mstari wa amri
Usakinishaji kimya ›winget install --id mthom.ScryerProlog -eMwongozo unaohusiana: Jinsi ya kutumia winget: sakinisha na sasisha programu
Pia kwa mifumo mingine
brew install scryer-prologTaarifa
- Mchapishaji
- Mark Thom
- Kategoria
- Lugha na SDK
- Leseni
- BSD-3-Clause
- Bei
- Bure
- Msimbo chanzo
- github.com/mthom/scryer-prolog
- Imeandikwa kwa
- Rust
- Inahitaji
- Windows 11 / 10
- Usanifu
- 64-bit
- Kisakinishi
- Portable
- Toleo
- 0.9.3
- Ilitolewa
- 3 Novemba 2023
- Iliongezwa kwenye orodha
- 26 Septemba 2023
- Matoleo yaliyoorodheshwa
- 2
- Nyota za GitHub
- 2,462
- Forks za GitHub
- 166
- Tovuti
- scryer.pl
- Kitambulisho cha winget
- mthom.ScryerProlog
Aina za faili inazofungua (1)
Ukadiriaji na maoni
Bado hakuna maoni. Kuwa wa kwanza kuikadiria.
Mbadala wa Scryer Prolog
Ona zote ›-
Chanzo huriaM2.1 ↓ -
Chanzo huriaM2.8 ↓ -
Chanzo huriaelfu 249.7 ↓ -
Chanzo huriaM3.7 ↓ -
Chanzo huriaM1.9 ↓ -
Chanzo huriaelfu 263.6 ↓ -
Chanzo huriaM2.2 ↓ -
Chanzo huriaM1.4 ↓
Maswali yanayoulizwa mara kwa mara
Je, Scryer Prolog ni bure?
Ndiyo. Scryer Prolog ni programu ya chanzo huria chini ya leseni ya BSD-3-Clause.
Je, ni salama kupakua Scryer Prolog?
Faili inapakuliwa kutoka github.com, ambayo ni ya mchapishaji mwenyewe; ExeAtlas haihifadhi wala haibadilishi faili. Linganisha hashi yake ya SHA256 na ile iliyoonyeshwa hapa, au fungua ripoti ya VirusTotal ya hashi hiyo.
Jinsi ya kusakinisha Scryer Prolog kwa winget?
Fungua PowerShell au Windows Terminal na uendeshe amri ya winget iliyoonyeshwa kwenye ukurasa huu. winget hupakua kisakinishi rasmi na kukagua hashi yake ya SHA256 kabla ya kukiendesha.
Je, Scryer Prolog inafanya kazi kwenye ARM (Windows on Arm)?
Hakuna toleo la ARM64; Windows 11 on Arm inaweza kuendesha toleo la 64-bit kupitia uigaji (emulation).
Wapi pa kupakua toleo la zamani la Scryer Prolog?
Ukurasa wa matoleo unaorodhesha matoleo 2 yote pamoja na viungo vya faili rasmi za kisakinishi, kuanzia 28 Agosti 2023.
Je, Scryer Prolog inaweza kutumika bila haki za msimamizi?
Ndiyo, ni portable: fungua kumbukumbu (archive) na uiendeshe.
Ni programu gani mbadala wa Scryer Prolog?
Go Programming Language, LLVM, Deno, CMake na Yarn. Ukurasa wa mbadala unazilinganisha.
