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 ծրագրի թողարկողը՝ Mark Thom։ Սա բաց կոդով ծրագրային ապահովում է Windows-ի համար, կատեգորիան՝ «Լեզուներ և SDK»։ Ծրագրավորման լեզուն՝ Rust։
Տեղադրում և համակարգային պահանջներ
Մշակողն առաջարկում է Դյուրակիր տեղադրիչներ 64-բիթ Windows-ի համար։ Ծրագիրն աշխատում է առանց տեղադրման (դյուրակիր տարբերակ)։
Թարմացումներ և տարբերակների պատմություն
Ընթացիկ տարբերակը՝ 0.9.3, թողարկման ամսաթիվը՝ 03 նոյեմբերի, 2023 թ.։ Տարբերակների պատմությունը, որի առաջին ամսաթիվը 28 օգոստոսի, 2023 թ. է, ներառում է 2 թողարկում՝ պաշտոնական ֆայլերի հղումներով։ Վերջին թարմացումից անցել է ավելի քան մեկ տարի։
Հայտնիություն և ֆայլերի տեսակներ
GitHub-ում ելակետային կոդը (mthom/scryer-prolog) ունի 2462 աստղ։ Windows-ում ծրագիրը գրանցում է 1 տեսակի ֆայլ, այդ թվում՝ .pl։ Նմանատիպ ծրագրեր՝ Go Programming Language, LLVM և Deno։
Նախագծի նկարագրությունը GitHub-ում: “A modern Prolog implementation written mostly in Rust.”
Առավելություններ / Թերություններ
Առավելություններ
- Բաց կոդ․ ցանկացած մեկը կարող է այն ստուգել և ինքնուրույն կառուցել
- Դյուրակիր է՝ աշխատում է առանց տեղադրման
Թերություններ
- Բնիկ ARM64 կառուցվածք չկա
- Ավելի քան մեկ տարի առանց թարմացման
Հակիրճ: Scryer Prolog — բաց կոդով ծրագիր Windows-ի համար («Լեզուներ և SDK» կատեգորիա)․ կառուցվածքներ՝ 64-բիթ։ Թարմացումներն ավելի հազվադեպ են դարձել։
Արդյո՞ք անվտանգ է ներբեռնել Scryer Prolog ծրագիրը
- Ֆայլը ներբեռնվում է մշակողի սեփական տիրույթից (github.com)
- Ներբեռնման հղումն օգտագործում է HTTPS
- Հրապարակված է SHA256 հեշ, ուստի ֆայլը կարելի է ստուգել:
B6CA52B7D1E447A16CA55EC3BE3F3BA772021E3F6531C76ACAA62617C7973248· Բացել այս հեշի VirusTotal հաշվետվությունը - Հղումը դեռ ստուգված չէ
- Ելակետային կոդը բաց է
- ExeAtlas-ը տեղադրիչներ չի պահում, չի փաթեթավորում և չի փոփոխում
Առնչվող ուղեցույց: Ինչպես ստուգել ֆայլի SHA256 հեշը Windows-ում
Անվտանգության գործելակերպ (OpenSSF Scorecard)
GitHub-ում mthom/scryer-prolog պահոցի ավտոմատ ստուգումներ Open Source Security Foundation-ի կողմից, վերջին գործարկումը՝ 19 հոկտեմբերի, 2026 թ.։
- Ակտիվ սպասարկում10
- Վտանգավոր workflow-ներ չկան10
- Պահոցում երկուական ֆայլեր չկան10
- Լիցենզիան նշված է10
- Հրապարակված փաթեթներ10
- Կոդի վերանայում8
- Ամրագրված կախվածություններ7
- Տոկենների սահմանափակ իրավունքներ0
- OpenSSF Best Practices նշան0
- Անվտանգության քաղաքականություն0
- Ֆազինգ0
- Ճյուղերի պաշտպանություն0
- Ստորագրված թողարկումներ0
- Կոդի ստատիկ վերլուծություն0
Գնահատականը ցույց է տալիս, թե ինչպես է նախագիծը մշակվում և թողարկվում, այլ ոչ թե արդյոք ծրագիրն անվտանգ է տեղադրելու համար։ scorecard.dev
Վերջին տարբերակները
Բոլոր 2 տարբերակները ›| Տարբերակ | Ամսաթիվ | Չափ | Ֆայլեր |
|---|---|---|---|
| 0.9.3Վերջինը | 03 նոյեմբերի, 2023 թ. | — | 64-բիթ ZIP |
| 0.9.2 | 28 օգոստոսի, 2023 թ. | — | 64-բիթ 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-բիթ
- Տեղադրիչ
- Դյուրակիր
- Տարբերակ
- 0.9.3
- Թողարկման ամսաթիվ
- 03 նոյեմբերի, 2023 թ.
- Ավելացվել է կատալոգ
- 26 սեպտեմբերի, 2023 թ.
- Տարբերակ կատալոգում
- 2
- GitHub աստղեր
- 2462
- GitHub ֆորքեր
- 166
- Կայք
- scryer.pl
- winget ID
- 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-բիթ տարբերակը։
Որտեղի՞ց ներբեռնել Scryer Prolog ծրագրի հին տարբերակները
Տարբերակների էջում հավաքված են բոլոր 2 տարբերակների պաշտոնական տեղադրիչների հղումները (առաջինը՝ 28 օգոստոսի, 2023 թ.)։
Կարելի՞ է Scryer Prolog ծրագիրն օգտագործել առանց ադմինիստրատորի իրավունքների
Այո, այն դյուրակիր է․ բավական է բացել արխիվը և գործարկել ծրագիրը։
Ի՞նչ այլընտրանքներ ունի Scryer Prolog ծրագիրը
Go Programming Language, LLVM, Deno, CMake և Yarn։ Դրանց համեմատությունը՝ այլընտրանքների էջում։
