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 ဆိုတာ ဘာလဲ
Programming language နှင့် SDK အမျိုးအစားတွင် ပါဝင်သော Scryer Prolog သည် ပွင့်လင်းရင်းမြစ် Windows ဆော့ဖ်ဝဲ ဖြစ်ပြီး Mark Thom က ထုတ်ဝေပါသည်။ Rust ဖြင့် ရေးသားထားပါသည်။
ထည့်သွင်းခြင်းနှင့် လိုအပ်ချက်များ
ထုတ်ဝေသူသည် 64-bit Windows အတွက် Portable installer များကို ပေးထားပါသည်။ ထည့်သွင်းစရာမလိုဘဲ တိုက်ရိုက် run နိုင်ပါသည် (portable)။
အပ်ဒိတ်များနှင့် ဗားရှင်းမှတ်တမ်း
နောက်ဆုံးဗားရှင်းမှာ 0.9.3 ဖြစ်ပါသည် (၂၀၂၃ နိုဝင်ဘာ ၃ တွင် ထုတ်ဝေ)။ ဗားရှင်းမှတ်တမ်းတွင် ထုတ်ဝေမှု ၂ ခု ပါဝင်ပြီး အဟောင်းဆုံးမှာ ၂၀၂၃ ဩဂုတ် ၂၈ ဖြစ်ပါသည်။ အားလုံးကို တရားဝင်ဖိုင်များသို့ လင့်ခ်ချိတ်ထားပါသည်။ နောက်ဆုံးအပ်ဒိတ်မှာ တစ်နှစ်ကျော်ခဲ့ပြီ ဖြစ်ပါသည်။
လူကြိုက်များမှုနှင့် ဖိုင်အမျိုးအစားများ
GitHub ပေါ်ရှိ source code (mthom/scryer-prolog) တွင် ကြယ် ၂,၄၆၂ ပွင့် ရှိပါသည်။ Windows တွင် ဖိုင်အမျိုးအစား ၁ မျိုးကို မှတ်ပုံတင်ပါသည် (.pl အပါအဝင်)။ ဆင်တူသော ပရိုဂရမ်များတွင် Go Programming Language၊ LLVM နှင့် Deno ပါဝင်ပါသည်။
GitHub ပေါ်ရှိ ပရောဂျက်ဖော်ပြချက်: “A modern Prolog implementation written mostly in Rust.”
အားသာချက်များ / အားနည်းချက်များ
အားသာချက်များ
- ပွင့်လင်းရင်းမြစ် - code ကို မည်သူမဆို စစ်ဆေး၍ build လုပ်နိုင်သည်
- Portable - ထည့်သွင်းစရာမလိုဘဲ run နိုင်သည်
အားနည်းချက်များ
- Native ARM64 build မရှိပါ
- တစ်နှစ်ကျော် အပ်ဒိတ် မထွက်ပါ
အတိုချုပ်: Scryer Prolog သည် 64-bit ကွန်ပျူတာများအတွက် ပွင့်လင်းရင်းမြစ် Programming language နှင့် SDK ကိရိယာ ဖြစ်ပါသည်။ အပ်ဒိတ်များ နှေးကွေးလာပါသည်။
Scryer Prolog ကို ဒေါင်းလုဒ်လုပ်ရန် လုံခြုံပါသလား
- ဖိုင်ကို ထုတ်ဝေသူ၏ ကိုယ်ပိုင်ဒိုမိန်း github.com မှ ပေးပို့ပါသည်
- ဒေါင်းလုဒ်လင့်ခ်သည် HTTPS ကို အသုံးပြုပါသည်
- SHA256 hash ထုတ်ပြန်ထားသဖြင့် ဖိုင်ကို စစ်ဆေးနိုင်ပါသည်:
B6CA52B7D1E447A16CA55EC3BE3F3BA772021E3F6531C76ACAA62617C7973248· ဤ hash ၏ VirusTotal အစီရင်ခံစာကို ဖွင့်ပါ - လင့်ခ်ကို မစစ်ဆေးရသေးပါ
- Source code ကို အများပြည်သူ ကြည့်နိုင်ပါသည်
- ExeAtlas သည် installer များကို မသိမ်းဆည်း၊ မထုပ်ပိုး၊ မပြင်ဆင်ပါ
ဆက်စပ် လမ်းညွှန်: Windows တွင် ဖိုင်၏ SHA256 hash စစ်ဆေးနည်း
လုံခြုံရေး အလေ့အကျင့်များ (OpenSSF Scorecard)
GitHub ပေါ်ရှိ mthom/scryer-prolog repository ကို Open Source Security Foundation က အလိုအလျောက် စစ်ဆေးထားခြင်း ဖြစ်ပါသည်။ နောက်ဆုံးစစ်ဆေးသည့်နေ့ - ၂၀၂၆ အောက်တိုဘာ ၁၉။
- တက်ကြွစွာ ထိန်းသိမ်းနေ၁၀
- အန္တရာယ်ရှိသော workflow မရှိ၁၀
- Repository ထဲ binary ဖိုင် မရှိ၁၀
- လိုင်စင် ကြေညာထား၁၀
- ထုတ်ဝေထားသော package များ၁၀
- Code review၈
- Pin လုပ်ထားသော dependency များ၇
- ကန့်သတ်ထားသော token ခွင့်ပြုချက်၀
- OpenSSF Best Practices တံဆိပ်၀
- လုံခြုံရေးမူဝါဒ၀
- Fuzzing၀
- Branch ကာကွယ်မှု၀
- လက်မှတ်ထိုးထားသော release များ၀
- Static code analysis၀
ဤအမှတ်သည် ပရောဂျက်ကို ဖန်တီးပုံနှင့် ထုတ်ဝေပုံကို အကဲဖြတ်ခြင်းဖြစ်ပြီး ပရိုဂရမ်ကို ထည့်သွင်းရန် လုံခြုံမလုံခြုံကို ပြောခြင်း မဟုတ်ပါ။ scorecard.dev
မကြာသေးမီ ဗားရှင်းများ
ဗားရှင်း ၂ ခုလုံး ›| ဗားရှင်း | ရက်စွဲ | အရွယ်အစား | ဖိုင်များ |
|---|---|---|---|
| 0.9.3နောက်ဆုံး | ၂၀၂၃ နိုဝင်ဘာ ၃ | — | 64-bit ZIP |
| 0.9.2 | ၂၀၂၃ ဩဂုတ် ၂၈ | — | 64-bit ZIP |
Command line မှ ထည့်သွင်းခြင်း
အသံတိတ်ထည့်သွင်းခြင်း ›winget install --id mthom.ScryerProlog -eဆက်စပ် လမ်းညွှန်: winget အသုံးပြုနည်း - ပရိုဂရမ် ထည့်သွင်းခြင်းနှင့် အပ်ဒိတ်
အခြားစနစ်များအတွက်လည်း ရနိုင်ပါသည်
brew install scryer-prologအချက်အလက်
- ထုတ်ဝေသူ
- Mark Thom
- အမျိုးအစား
- Programming language နှင့် SDK
- လိုင်စင်
- BSD-3-Clause
- စျေးနှုန်း
- အခမဲ့
- Source code
- github.com/mthom/scryer-prolog
- ရေးသားထားသည့် ဘာသာ
- Rust
- လိုအပ်ချက်
- Windows 11 / 10
- Architecture
- 64-bit
- Installer အမျိုးအစား
- Portable
- ဗားရှင်း
- 0.9.3
- ထုတ်ဝေသည့်နေ့
- ၂၀၂၃ နိုဝင်ဘာ ၃
- စာရင်းထဲ ထည့်သည့်နေ့
- ၂၀၂၃ စက်တင်ဘာ ၂၆
- စာရင်းရှိ ဗားရှင်းများ
- 2
- GitHub ကြယ်
- ၂,၄၆၂
- GitHub fork များ
- ၁၆၆
- ဝဘ်ဆိုက်
- scryer.pl
- winget ID
- mthom.ScryerProlog
ဖွင့်နိုင်သော ဖိုင်အမျိုးအစားများ (1)
အဆင့်သတ်မှတ်ချက်နှင့် သုံးသပ်ချက်များ
သုံးသပ်ချက် မရှိသေးပါ။ ပထမဆုံး အဆင့်သတ်မှတ်သူ ဖြစ်လိုက်ပါ။
Scryer Prolog အစားထိုးပရိုဂရမ်များ
အားလုံးကြည့်ရန် ›-
ပွင့်လင်းရင်းမြစ် (open source)၂.၁ သန်း ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၂.၈ သန်း ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၂.၅ သိန်း ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၃.၇ သန်း ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၁.၉ သန်း ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၂.၆ သိန်း ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၂.၂ သန်း ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၁.၄ သန်း ↓
မေးလေ့ရှိသောမေးခွန်းများ
Scryer Prolog သည် အခမဲ့လား
ဟုတ်ပါသည်။ Scryer Prolog သည် ပွင့်လင်းရင်းမြစ် ဆော့ဖ်ဝဲ ဖြစ်ပါသည် (BSD-3-Clause လိုင်စင်)။
Scryer Prolog ကို ဒေါင်းလုဒ်လုပ်ရန် လုံခြုံပါသလား
ဒေါင်းလုဒ်ကို github.com (ထုတ်ဝေသူပိုင်) မှ ရယူပါသည်။ ExeAtlas သည် ဖိုင်ကို မသိမ်းဆည်း၊ မပြောင်းလဲပါ။ ဖိုင်၏ SHA256 hash ကို ဤနေရာတွင် ပြထားသော hash နှင့် နှိုင်းယှဉ်ပါ သို့မဟုတ် ထို hash ၏ VirusTotal အစီရင်ခံစာကို ဖွင့်ကြည့်ပါ။
Scryer Prolog ကို winget ဖြင့် ဘယ်လို ထည့်သွင်းရမလဲ
PowerShell သို့မဟုတ် Windows Terminal ကို ဖွင့်ပြီး ဤစာမျက်နှာရှိ winget command ကို run ပါ။ winget သည် တရားဝင် installer ကို ဒေါင်းလုဒ်လုပ်ပြီး မ run မီ ၎င်း၏ SHA256 hash ကို စစ်ဆေးပါသည်။
Scryer Prolog သည် ARM (Windows on Arm) တွင် အလုပ်လုပ်ပါသလား
ARM64 build မရှိပါ။ Windows 11 on Arm သည် 64-bit ဗားရှင်းကို emulation ဖြင့် run နိုင်ပါသည်။
Scryer Prolog ဗားရှင်းဟောင်းကို ဘယ်မှာ ဒေါင်းလုဒ်လုပ်ရမလဲ
ဗားရှင်းများ စာမျက်နှာတွင် ဗားရှင်း ၂ ခုလုံးကို ၂၀၂၃ ဩဂုတ် ၂၈ အထိ တရားဝင် installer ဖိုင်လင့်ခ်များနှင့်အတူ စာရင်းပြုထားပါသည်။
Scryer Prolog ကို Administrator ခွင့်မပါဘဲ သုံးနိုင်ပါသလား
သုံးနိုင်ပါသည်။ Portable ဖြစ်သဖြင့် ဖြည်ပြီး run ရုံသာ ဖြစ်ပါသည်။
Scryer Prolog အစား ဘာတွေ သုံးနိုင်သလဲ
Go Programming Language၊ LLVM၊ Deno၊ CMake နှင့် Yarn။ အစားထိုးပရိုဂရမ်များ စာမျက်နှာတွင် ၎င်းတို့ကို နှိုင်းယှဉ်ထားပါသည်။
