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.
Nashr etuvchining tavsifi (inglizcha)
Scryer Prolog nima?
Scryer Prolog dasturi — Windows uchun ochiq kodli ilova, «Tillar va SDK» kategoriyasiga kiradi. Nashr etuvchi: Mark Thom. Dasturlash tili: Rust.
Oʻrnatish va tizim talablari
Nashr etuvchi 64 bitli tizimlar uchun Portativ oʻrnatish fayllarini taqdim etadi. Oʻrnatishsiz ishlaydi (portativ).
Yangilanishlar va versiyalar tarixi
Eng soʻnggi versiya — 0.9.3, 3-noyabr, 2023 sanasida chiqarilgan. Versiyalar tarixida 2 ta reliz bor, eng birinchisi 28-avgust, 2023 sanasiga tegishli; barchasi rasmiy fayllarga bogʻlangan. Soʻnggi yangilanishdan beri bir yildan koʻproq vaqt oʻtgan.
Ommaboplik va fayl turlari
GitHubdagi manba kodi (mthom/scryer-prolog) 2 462 ta yulduzga ega. Windowsda 1 ta fayl turini roʻyxatdan oʻtkazadi, jumladan .pl. Oʻxshash dasturlar: Go Programming Language, LLVM va Deno.
GitHubdagi loyiha tavsifi: “A modern Prolog implementation written mostly in Rust.”
Afzalliklari / Kamchiliklari
Afzalliklari
- Ochiq kodli: kodni istalgan kishi koʻrib chiqishi va yigʻishi mumkin
- Portativ: oʻrnatishsiz ishlaydi
Kamchiliklari
- Mahalliy ARM64 versiyasi yoʻq
- Bir yildan ortiq yangilanmagan
Qisqacha xulosa: Scryer Prolog — 64 bitli kompyuterlar uchun ochiq kodli Windows vositasi («Tillar va SDK» kategoriyasi). Yangilanishlar sekinlashgan.
Scryer Prolog dasturini yuklab olish xavfsizmi?
- Fayl nashr etuvchining oʻz domeni — github.com orqali beriladi
- Yuklab olish havolasi HTTPS protokolidan foydalanadi
- SHA256 xeshi eʼlon qilingan, shuning uchun faylni tekshirish mumkin:
B6CA52B7D1E447A16CA55EC3BE3F3BA772021E3F6531C76ACAA62617C7973248· Bu xesh uchun VirusTotal hisobotini ochish - Havola hali tekshirilmagan
- Manba kodi ochiq
- ExeAtlas oʻrnatish fayllarini saqlamaydi, oʻramaydi va oʻzgartirmaydi
Tegishli qoʻllanma: Windowsda fayl SHA256 xeshini tekshirish
Xavfsizlik amaliyotlari (OpenSSF Scorecard)
Open Source Security Foundation GitHubdagi mthom/scryer-prolog omborini avtomatik tekshiradi; oxirgi tekshiruv sanasi: 19-oktabr, 2026.
- Faol qoʻllab-quvvatlanadi10
- Xavfli workflowlar yoʻq10
- Omborda binar fayllar yoʻq10
- Litsenziya koʻrsatilgan10
- Eʼlon qilingan paketlar10
- Kod tekshiruvi8
- Qatʼiy belgilangan bogʻliqliklar7
- Cheklangan token ruxsatlari0
- OpenSSF Best Practices nishoni0
- Xavfsizlik siyosati0
- Fuzz-testlash0
- Tarmoqlarni himoyalash0
- Imzolangan relizlar0
- Statik kod tahlili0
Ball loyiha qanday ishlab chiqilishi va chiqarilishini baholaydi, dasturni oʻrnatish xavfsizmi yoki yoʻqligini emas. scorecard.dev
Soʻnggi versiyalar
Barcha 2 ta versiya ›| Versiya | Sana | Hajmi | Fayllar |
|---|---|---|---|
| 0.9.3Eng soʻnggi | 3-noyabr, 2023 | — | 64 bitli ZIP |
| 0.9.2 | 28-avgust, 2023 | — | 64 bitli ZIP |
Buyruq satridan oʻrnatish
Jim oʻrnatish ›winget install --id mthom.ScryerProlog -eTegishli qoʻllanma: winget: dasturlarni oʻrnatish va yangilash
Boshqa tizimlar uchun ham bor
brew install scryer-prologMaʼlumot
- Nashr etuvchi
- Mark Thom
- Kategoriya
- Tillar va SDK
- Litsenziya
- BSD-3-Clause
- Narxi
- Bepul
- Manba kodi
- github.com/mthom/scryer-prolog
- Dasturlash tili
- Rust
- Talablar
- Windows 11 / 10
- Arxitektura
- 64 bitli
- Oʻrnatuvchi turi
- Portativ
- Versiya
- 0.9.3
- Chiqarilgan sana
- 3-noyabr, 2023
- Katalogga qoʻshilgan
- 26-sentabr, 2023
- Roʻyxatdagi versiyalar
- 2
- GitHub yulduzlari
- 2 462
- GitHub forklari
- 166
- Veb-sayt
- scryer.pl
- winget ID
- mthom.ScryerProlog
Ochadigan fayl turlari (1)
Baholar va sharhlar
Hali sharhlar yoʻq. Birinchi boʻlib baholang.
Scryer Prolog dasturiga muqobillar
Barchasini koʻrish ›-
Ochiq kodli2,1 mln ↓ -
Ochiq kodli2,8 mln ↓ -
Ochiq kodli249,7 ming ↓ -
Ochiq kodli3,7 mln ↓ -
Ochiq kodli1,9 mln ↓ -
Ochiq kodli265,2 ming ↓ -
Ochiq kodli2,2 mln ↓ -
Ochiq kodli1,5 mln ↓
Koʻp beriladigan savollar
Scryer Prolog bepulmi?
Ha. Scryer Prolog — ochiq kodli dastur (BSD-3-Clause litsenziyasi).
Scryer Prolog dasturini yuklab olish xavfsizmi?
Fayl github.com manzilidan yuklab olinadi; bu manzil nashr etuvchiga tegishli. ExeAtlas faylni saqlamaydi va oʻzgartirmaydi. Yuklab olingan faylning SHA256 xeshini shu yerda koʻrsatilgani bilan solishtiring yoki bu xesh uchun VirusTotal hisobotini oching.
Scryer Prolog dasturini winget orqali qanday oʻrnatish mumkin?
PowerShell yoki Windows Terminalni oching va shu sahifadagi winget buyrugʻini ishga tushiring. winget rasmiy oʻrnatish faylini yuklab oladi va ishga tushirishdan oldin uning SHA256 xeshini tekshiradi.
Scryer Prolog ARM protsessorida (Windows on Arm) ishlaydimi?
ARM64 versiyasi yoʻq; Windows 11 on Arm 64 bitli versiyasini emulyatsiya orqali ishga tushira oladi.
Scryer Prolog dasturining eski versiyasini qayerdan yuklab olish mumkin?
Versiyalar sahifasida barcha 2 ta versiya rasmiy oʻrnatish fayllariga havolalar bilan berilgan; eng eskisi 28-avgust, 2023 sanasiga tegishli.
Scryer Prolog dasturidan administrator huquqlarisiz foydalanish mumkinmi?
Ha, u portativ: arxivdan chiqarib, ishga tushiring.
Scryer Prolog dasturiga qanday muqobillar bor?
Go Programming Language, LLVM, Deno, CMake va Yarn. Muqobillar sahifasi ularni taqqoslaydi.
