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 له خوا د د پروګرام ژبې او SDK په کټګورۍ کې راځي او خلاصه سرچینه سافټویر دی. په Rust ژبه لیکل شوی.
نصب او اړتیاوې
خپرونکی د پورټېبل نصبوونکي د 64-bit Windows لپاره وړاندې کوي. بې له نصب چلېږي (پورټېبل).
تازه کېدنې او د نسخو تاریخچه
اوسنۍ نسخه 0.9.3 ده چې په AP ۱۴۰۲ لړم ۱۲ خپره شوه. د نسخو تاریخچه ۲ خپرونې لري چې تر ټولو زړه یې AP ۱۴۰۲ وږی ۶ ته رسېږي؛ ټولې رسمي فایلونو ته لینک لري. وروستۍ تازه کېدنه له یو کال ډېره زړه ده.
شهرت او د فایل ډولونه
په GitHub کې سرچینه کوډ (mthom/scryer-prolog) ۲٬۴۶۲ ستوري لري. په Windows کې ۱ ډول فایلونه ثبتوي، لکه .pl. ورته پروګرامونه Go Programming Language، LLVM او Deno دي.
په GitHub کې د پروژې تشریح: “A modern Prolog implementation written mostly in Rust.”
ګټې / نیمګړتیاوې
ګټې
- خلاصه سرچینه: هر څوک یې کوډ کتلی او جوړولی شي
- پورټېبل: بې له نصب چلېږي
نیمګړتیاوې
- اصلي ARM64 نسخه نه لري
- له یو کال ډېر نه دی تازه شوی
لنډه دا چې: Scryer Prolog د 64-bit کمپیوټرونو لپاره یوه خلاصه سرچینه د د پروګرام ژبې او SDK وسیله ده. تازه کېدنې یې ورو شوې.
ایا د Scryer Prolog ډاونلوډ خوندي دی؟
- فایل له github.com څخه راځي، چې د خپرونکي خپل ډومېن دی
- د ډاونلوډ لینک HTTPS کاروي
- SHA256 هش خپور شوی، نو فایل تایید کولی شئ:
B6CA52B7D1E447A16CA55EC3BE3F3BA772021E3F6531C76ACAA62617C7973248· د دې هش د VirusTotal راپور پرانیزئ - لینک لا نه دی کتل شوی
- سرچینه کوډ عامه دی
- ExeAtlas نصبوونکي نه ساتي، نه یې پوښي او نه یې بدلوي
اړوند لارښود: په Windows کې د فایل SHA256 هش څنګه وګورو
امنیتي کړنې (OpenSSF Scorecard)
په GitHub کې د mthom/scryer-prolog زېرمې اتومات کتنې د Open Source Security Foundation له خوا؛ وروستی ځل په AP ۱۴۰۵ تله ۲۷.
- په فعاله توګه ساتل کېږي۱۰
- خطرناک workflow نشته۱۰
- په زېرمه کې باینري فایلونه نشته۱۰
- جواز اعلان شوی۱۰
- خپرې شوې بستې۱۰
- د کوډ کتنه۸
- ټاکل شوې تړاوې (dependencies)۷
- محدودې ټوکن اجازې۰
- د OpenSSF Best Practices نښان۰
- امنیتي پالیسي۰
- Fuzzing ازموینه۰
- د برانچ ساتنه۰
- لاسلیک شوې خپرونې۰
- د کوډ ثابته شننه۰
دا نمره دا ارزوي چې پروژه څنګه جوړېږي او خپرېږي، نه دا چې د پروګرام نصبول خوندي دي که نه. scorecard.dev
وروستۍ نسخې
ټولې ۲ نسخې ›| نسخه | نېټه | اندازه | فایلونه |
|---|---|---|---|
| 0.9.3وروستۍ | AP ۱۴۰۲ لړم ۱۲ | — | 64-bit ZIP |
| 0.9.2 | AP ۱۴۰۲ وږی ۶ | — | 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
- جوړښت (Architecture)
- 64-bit
- د نصبوونکي ډول
- پورټېبل
- نسخه
- 0.9.3
- د خپرېدو نېټه
- AP ۱۴۰۲ لړم ۱۲
- لېست ته د ورزیاتېدو نېټه
- AP ۱۴۰۲ تله ۴
- لېست شوې نسخې
- 2
- د GitHub ستوري
- ۲٬۴۶۲
- د GitHub فورکونه
- ۱۶۶
- وېب پاڼه
- scryer.pl
- winget ID
- mthom.ScryerProlog
هغه فایلونه چې پرانیستلی یې شي (1)
درجې او نظرونه
لا تر اوسه هېڅ نظر نشته. لومړۍ درجه تاسو ورکړئ.
د Scryer Prolog بدیلونه
ټول وګورئ ›-
خلاصه سرچینه (open source)۲٫۱M ↓ -
خلاصه سرچینه (open source)۲٫۸M ↓ -
خلاصه سرچینه (open source)۲۴۹٫۷K ↓ -
خلاصه سرچینه (open source)۳٫۷M ↓ -
خلاصه سرچینه (open source)۱٫۹M ↓ -
خلاصه سرچینه (open source)۲۶۳٫۶K ↓ -
خلاصه سرچینه (open source)۲٫۲M ↓ -
خلاصه سرچینه (open source)۱٫۴M ↓
ډېرې پوښتل شوې پوښتنې
ایا 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 زړه نسخه له کومه ډاونلوډ کړم؟
د نسخو پاڼه ټولې ۲ نسخې د رسمي نصب فایلونو له لینکونو سره ښیي، تر AP ۱۴۰۲ وږی ۶ پورې.
ایا Scryer Prolog بې له اډمین اجازې کارولی شم؟
هو، پورټېبل دی: خلاص یې کړئ او ویې چلوئ.
د Scryer Prolog بدیلونه کوم دي؟
Go Programming Language، LLVM، Deno، CMake او Yarn. د بدیلونو پاڼه یې سره پرتله کوي.
