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.
የአሳታሚው መግለጫ (እንግሊዝኛ)
Scryer Prolog ምንድነው?
Scryer Prolog ለWindows የተሠራ ክፍት ምንጭ ሶፍትዌር ነው፤ ምድቡ “ቋንቋዎች እና SDK” ነው። አሳታሚው Mark Thom ነው። የተጻፈው በRust ነው።
መጫን እና የሚያስፈልጉ ነገሮች
አሳታሚው ለ64-bit Windows ተንቀሳቃሽ (portable) ጫኚዎችን ያቀርባል። ሳይጫን ይሠራል (portable)።
ዝማኔዎች እና የስሪት ታሪክ
የአሁኑ ስሪት 0.9.3 ነው፤ የተለቀቀው በ3 ኖቬምበር 2023 ነው። የስሪት ታሪኩ እስከ 28 ኦገስት 2023 ድረስ ወደ ኋላ ይሄዳል፦ 2 ስሪቶች፣ ሁሉም ከይፋዊ ፋይሎች ጋር የተገናኙ። የመጨረሻው ዝማኔ ከአንድ ዓመት በላይ ሆኖታል።
ተወዳጅነት እና የፋይል አይነቶች
በGitHub ላይ ያለው የምንጭ ኮድ (mthom/scryer-prolog) 2,462 ኮከቦች አሉት። በWindows ላይ 1 የፋይል አይነት ይመዘግባል፤ ከነዚህም መካከል .pl። ተመሳሳይ ፕሮግራሞች Go Programming Language፣ LLVM እና Deno ናቸው።
በGitHub ላይ ያለው የፕሮጀክቱ መግለጫ: “A modern Prolog implementation written mostly in Rust.”
ጥቅሞች / ጉዳቶች
ጥቅሞች
- ክፍት ምንጭ፦ ማንኛውም ሰው ኮዱን መመርመር እና መገንባት ይችላል
- ተንቀሳቃሽ (portable)፦ ሳይጫን ይሠራል
ጉዳቶች
- የራሱ የARM64 ስሪት የለም
- ከአንድ ዓመት በላይ ዝማኔ የለም
በአጭሩ: Scryer Prolog ለ64-bit ኮምፒውተሮች የተሠራ ክፍት ምንጭ የWindows መሣሪያ ነው፤ ምድቡ “ቋንቋዎች እና SDK” ነው። ዝማኔዎቹ ቀንሰዋል።
Scryer Prologን ማውረድ ደህንነቱ የተጠበቀ ነው?
- ፋይሉ የሚቀርበው ከgithub.com ነው፤ ይህ የአሳታሚው የራሱ ጎራ ነው
- የማውረጃ አገናኙ HTTPS ይጠቀማል
- የSHA256 ሃሽ ታትሟል፤ ስለዚህ ፋይሉን ማረጋገጥ ይችላሉ:
B6CA52B7D1E447A16CA55EC3BE3F3BA772021E3F6531C76ACAA62617C7973248· ለዚህ ሃሽ የVirusTotal ሪፖርቱን ይክፈቱ - አገናኙ ገና አልተረጋገጠም
- የምንጭ ኮዱ ለሕዝብ ክፍት ነው
- ExeAtlas ጫኚዎችን አያስተናግድም፣ አይጠቀልልም፣ አይቀይርም
ተዛማጅ መመሪያ: የፋይልን SHA256 ሃሽ በWindows ላይ እንዴት ማረጋገጥ ይቻላል
የደህንነት ልምዶች (OpenSSF Scorecard)
በOpen Source Security Foundation የተደረጉ የmthom/scryer-prolog የGitHub ማከማቻ ራስ-ሰር ፍተሻዎች፤ ለመጨረሻ ጊዜ የተካሄዱት በ19 ኦክቶበር 2026።
- በንቃት ይጠበቃል10
- አደገኛ workflow የለም10
- በማከማቻው ውስጥ ባይነሪ ፋይሎች የሉም10
- ፈቃዱ ተገልጿል10
- የታተሙ ጥቅሎች10
- የኮድ ግምገማ8
- ስሪታቸው የተቆለፈ ጥገኞች7
- የተገደቡ የቶከን ፈቃዶች0
- የOpenSSF Best Practices ባጅ0
- የደህንነት ፖሊሲ0
- Fuzzing0
- የቅርንጫፍ ጥበቃ0
- የተፈረሙ ልቀቶች0
- የኮድ ቋሚ ትንተና0
ውጤቱ የሚለካው ፕሮጀክቱ እንዴት እንደሚገነባ እና እንደሚለቀቅ ነው እንጂ ፕሮግራሙን መጫን ደህንነቱ የተጠበቀ መሆኑን አይደለም። scorecard.dev
የቅርብ ጊዜ ስሪቶች
ሁሉም 2 ስሪቶች ›| ስሪት | ቀን | መጠን | ፋይሎች |
|---|---|---|---|
| 0.9.3የቅርብ ጊዜ | 3 ኖቬምበር 2023 | — | 64-bit ZIP |
| 0.9.2 | 28 ኦገስት 2023 | — | 64-bit ZIP |
ከትዕዛዝ መስመር ይጫኑ
ጸጥ ያለ ጭነት ›winget install --id mthom.ScryerProlog -eተዛማጅ መመሪያ: winget እንዴት እንደሚጠቀሙ፦ ፕሮግራሞችን መጫን እና ማዘመን
ለሌሎች ሥርዓቶችም
brew install scryer-prologመረጃ
- አሳታሚ
- Mark Thom
- ምድብ
- ቋንቋዎች እና SDK
- ፈቃድ
- BSD-3-Clause
- ዋጋ
- ነፃ
- የምንጭ ኮድ
- github.com/mthom/scryer-prolog
- የተጻፈበት ቋንቋ
- Rust
- የሚያስፈልገው
- Windows 11 / 10
- አርክቴክቸር
- 64-bit
- ጫኚ
- ተንቀሳቃሽ (portable)
- ስሪት
- 0.9.3
- የተለቀቀበት
- 3 ኖቬምበር 2023
- ወደ ካታሎጉ የተጨመረበት
- 26 ሴፕቴምበር 2023
- የተዘረዘሩ ስሪቶች
- 2
- የGitHub ኮከቦች
- 2,462
- የGitHub ፎርኮች
- 166
- ድረ-ገጽ
- scryer.pl
- የwinget መታወቂያ
- mthom.ScryerProlog
የሚከፍታቸው የፋይል አይነቶች (1)
ደረጃዎች እና ግምገማዎች
እስካሁን ምንም ግምገማ የለም። ደረጃ የሚሰጡ የመጀመሪያው ይሁኑ።
የScryer Prolog አማራጮች
ሁሉንም ይመልከቱ ›-
ክፍት ምንጭ2.1 ሚ ↓ -
ክፍት ምንጭ2.8 ሚ ↓ -
ክፍት ምንጭ249.7 ሺ ↓ -
ክፍት ምንጭ3.7 ሚ ↓ -
ክፍት ምንጭ1.9 ሚ ↓ -
ክፍት ምንጭ263.6 ሺ ↓ -
ክፍት ምንጭ2.2 ሚ ↓ -
ክፍት ምንጭ1.4 ሚ ↓
ተደጋግመው የሚጠየቁ ጥያቄዎች
Scryer Prolog ነፃ ነው?
አዎ። Scryer Prolog በBSD-3-Clause ፈቃድ የሚሰራጭ የክፍት ምንጭ ሶፍትዌር ነው።
Scryer Prologን ማውረድ ደህንነቱ የተጠበቀ ነው?
ፋይሉ የሚወርደው ከgithub.com ነው፤ ይህም የአሳታሚው የራሱ አገልጋይ ነው፤ ExeAtlas ፋይሉን አያስተናግድም፣ አይቀይርምም። የSHA256 ሃሹን እዚህ ከሚታየው ጋር ያነጻጽሩ፣ ወይም ለዚያ ሃሽ የVirusTotal ሪፖርቱን ይክፈቱ።
Scryer Prologን በwinget እንዴት መጫን ይቻላል?
PowerShell ወይም Windows Terminal ይክፈቱ እና በዚህ ገጽ ላይ የሚታየውን የwinget ትዕዛዝ ያስኪዱ። winget ይፋዊውን ጫኚ ያወርዳል፣ ከማስኬዱም በፊት የSHA256 ሃሹን ያረጋግጣል።
Scryer Prolog በARM (Windows on Arm) ላይ ይሠራል?
የARM64 ስሪት የለም፤ Windows 11 on Arm የ64-bit ስሪቱን በኢምዩሌሽን ማስኬድ ይችላል።
የScryer Prolog የቆየ ስሪት ከየት ማውረድ ይቻላል?
የስሪቶች ገጹ ሁሉንም 2 ስሪቶች ከይፋዊ የመጫኛ ፋይሎቻቸው አገናኞች ጋር ይዘረዝራል፤ እስከ 28 ኦገስት 2023 ድረስ።
Scryer Prologን ያለ አስተዳዳሪ መብቶች መጠቀም ይቻላል?
አዎ፤ ተንቀሳቃሽ (portable) ነው፦ ይፍቱት እና ያስኪዱት።
የScryer Prolog አማራጮች ምንድን ናቸው?
Go Programming Language፣ LLVM፣ Deno፣ CMake እና Yarn። የአማራጮች ገጹ ያነጻጽራቸዋል።
