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 نوشته شده است.
نصب و پیش‌نیازها
ناشر نصب‌کننده‌های پرتابل را برای ویندوز ۶۴ بیتی ارائه می‌کند. بدون نصب اجرا می‌شود (نسخه پرتابل).
به‌روزرسانی‌ها و تاریخچه نسخه‌ها
نسخه فعلی 0.9.3 است که در ۱۲ آبان ۱۴۰۲ منتشر شد. تاریخچه نسخه‌ها ۲ نسخه را در بر می‌گیرد که قدیمی‌ترین آن‌ها به ۶ شهریور ۱۴۰۲ برمی‌گردد؛ همه به فایل‌های رسمی لینک دارند. از آخرین به‌روزرسانی بیش از یک سال گذشته است.
محبوبیت و انواع فایل
کد منبع آن در GitHub (mthom/scryer-prolog) ۲٬۴۶۲ ستاره دارد. در ویندوز ۱ نوع فایل را ثبت می‌کند، از جمله .pl. نرم‌افزارهای مشابه: Go Programming Language، LLVM و Deno.
توضیح پروژه در GitHub: “A modern Prolog implementation written mostly in Rust.”
نقاط قوت / نقاط ضعف
نقاط قوت
- متن‌باز: هر کسی می‌تواند کد را بررسی و کامپایل کند
- پرتابل: بدون نصب اجرا می‌شود
نقاط ضعف
- بدون نسخه بومی ARM64
- بیش از یک سال بدون به‌روزرسانی
به طور خلاصه: Scryer Prolog ابزاری متن‌باز در دسته‌بندی زبان‌ها و SDK برای رایانه‌های ۶۴ بیتی است. روند به‌روزرسانی آن کند شده است.
آیا دانلود Scryer Prolog امن است؟
- فایل از github.com، دامنه خود ناشر، ارائه می‌شود
- لینک دانلود از HTTPS استفاده می‌کند
- هش SHA256 منتشر شده است و می‌توانید فایل را بررسی کنید:
B6CA52B7D1E447A16CA55EC3BE3F3BA772021E3F6531C76ACAA62617C7973248· گزارش VirusTotal این هش را باز کنید - لینک هنوز بررسی نشده است
- کد منبع عمومی است
- ExeAtlas فایل‌های نصب را میزبانی، بسته‌بندی یا تغییر نمی‌دهد
آموزش مرتبط: بررسی هش SHA256 فایل در ویندوز
شیوه‌های امنیتی (OpenSSF Scorecard)
بررسی خودکار مخزن mthom/scryer-prolog در GitHub توسط Open Source Security Foundation؛ آخرین اجرا: ۲۷ مهر ۱۴۰۵.
- نگهداری فعال۱۰
- بدون گردش‌کار خطرناک۱۰
- بدون فایل باینری در مخزن۱۰
- مجوز اعلام‌شده۱۰
- بسته‌های منتشرشده۱۰
- بازبینی کد۸
- وابستگی‌های قفل‌شده۷
- مجوزهای محدود توکن۰
- نشان بهترین شیوه‌های OpenSSF۰
- سیاست امنیتی۰
- آزمون فازینگ (Fuzzing)۰
- حفاظت از شاخه۰
- انتشارهای امضاشده۰
- تحلیل ایستای کد۰
این امتیاز شیوه توسعه و انتشار پروژه را می‌سنجد، نه اینکه نصب برنامه امن است یا نه. scorecard.dev
نسخه‌های اخیر
همه ۲ نسخه ›| نسخه | تاریخ | حجم | فایل‌ها |
|---|---|---|---|
| 0.9.3آخرین | ۱۲ آبان ۱۴۰۲ | — | ۶۴ بیتی ZIP |
| 0.9.2 | ۶ شهریور ۱۴۰۲ | — | ۶۴ بیتی 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
- معماری
- ۶۴ بیتی
- نوع نصب‌کننده
- پرتابل
- نسخه
- 0.9.3
- تاریخ انتشار
- ۱۲ آبان ۱۴۰۲
- تاریخ افزودن به فهرست
- ۴ مهر ۱۴۰۲
- نسخه‌های فهرست‌شده
- 2
- ستاره‌های GitHub
- ۲٬۴۶۲
- فورک‌های GitHub
- ۱۶۶
- وب‌سایت رسمی
- scryer.pl
- شناسه winget
- mthom.ScryerProlog
انواع فایلی که باز می‌کند (1)
امتیازها و نظرها
هنوز نظری ثبت نشده است. نخستین امتیاز را شما بدهید.
جایگزین‌های Scryer Prolog
مشاهده همه ›-
متن‌باز۲٫۱ میلیون ↓ -
متن‌باز۲٫۸ میلیون ↓ -
متن‌باز۲۴۹٫۷ هزار ↓ -
متن‌باز۳٫۷ میلیون ↓ -
متن‌باز۱٫۹ میلیون ↓ -
متن‌باز۲۶۳٫۶ هزار ↓ -
متن‌باز۲٫۲ میلیون ↓ -
متن‌باز۱٫۴ میلیون ↓
پرسش‌های متداول
آیا 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 می‌تواند نسخه ۶۴ بیتی را با شبیه‌سازی اجرا کند.
نسخه‌های قدیمی Scryer Prolog را از کجا دانلود کنیم؟
صفحه نسخه‌ها همه ۲ نسخه را تا ۶ شهریور ۱۴۰۲ با لینک فایل‌های نصب رسمی فهرست می‌کند.
آیا می‌توان از Scryer Prolog بدون دسترسی مدیر استفاده کرد؟
بله، نسخه پرتابل است: آن را از حالت فشرده خارج و اجرا کنید.
جایگزین‌های Scryer Prolog کدام‌اند؟
Go Programming Language، LLVM، Deno، CMake و Yarn. صفحه جایگزین‌ها آن‌ها را با هم مقایسه می‌کند.
