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.
התקנה ודרישות
המפיץ מספק קובצי התקנה מסוג נייד (Portable) ל־Windows בגרסת 64 ביט. היא פועלת בלי התקנה (גרסה ניידת).
עדכונים והיסטוריית גרסאות
הגרסה הנוכחית היא 0.9.3, שיצאה ב־3 בנובמבר 2023. היסטוריית הגרסאות כוללת 2 גרסאות, החל מ־28 באוגוסט 2023, וכולן מקושרות לקבצים הרשמיים. העדכון האחרון יצא לפני יותר משנה.
פופולריות וסוגי קבצים
לקוד המקור ב־GitHub (mthom/scryer-prolog) יש 2,462 כוכבים. ב־Windows היא רושמת סוג קובץ אחד, ביניהם .pl. תוכנות דומות: Go Programming Language, LLVM ו־Deno.
תיאור הפרויקט ב־GitHub: “A modern Prolog implementation written mostly in Rust.”
יתרונות / חסרונות
יתרונות
- קוד פתוח: כל אחד יכול לבדוק את הקוד ולבנות אותו
- גרסה ניידת: פועלת בלי התקנה
חסרונות
- אין גרסת ARM64 מקורית
- לא עודכנה יותר משנה
בקצרה: Scryer Prolog היא תוכנה בקוד פתוח מהקטגוריה שפות ו־SDK למחשבי 64 ביט. קצב העדכונים שלה הואט.
האם ההורדה של Scryer Prolog בטוחה?
- הקובץ מגיע מהשרת github.com, הדומיין של המפיץ עצמו
- קישור ההורדה משתמש ב־HTTPS
- פורסם ערך SHA256, כך שאפשר לאמת את הקובץ:
B6CA52B7D1E447A16CA55EC3BE3F3BA772021E3F6531C76ACAA62617C7973248· פתיחת הדוח של VirusTotal עבור ה־hash הזה - הקישור טרם נבדק
- קוד המקור פתוח לציבור
- ExeAtlas אינו מאחסן, עוטף או משנה קובצי התקנה
מדריך קשור: בדיקת SHA256 של קובץ ב־Windows
נוהלי אבטחה (OpenSSF Scorecard)
בדיקות אוטומטיות של המאגר mthom/scryer-prolog ב־GitHub, שמבצעת Open Source Security Foundation; ההרצה האחרונה: 19 באוקטובר 2026.
- תחזוקה פעילה10
- אין תהליכי עבודה מסוכנים10
- אין קבצים בינאריים במאגר10
- רישיון מוצהר10
- חבילות שפורסמו10
- סקירת קוד8
- תלויות מקובעות7
- הרשאות אסימון מוגבלות0
- תג OpenSSF Best Practices0
- מדיניות אבטחה0
- בדיקות Fuzzing0
- הגנה על ענפים0
- גרסאות חתומות0
- ניתוח קוד סטטי0
הציון מעריך את אופן הפיתוח והפרסום של הפרויקט, ולא את השאלה אם בטוח להתקין את התוכנה. scorecard.dev
גרסאות אחרונות
כל 2 הגרסאות ›| גרסה | תאריך | גודל | קבצים |
|---|---|---|---|
| 0.9.3אחרונה | 3 בנובמבר 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 ביט
- סוג קובץ ההתקנה
- נייד (Portable)
- גרסה
- 0.9.3
- תאריך שחרור
- 3 בנובמבר 2023
- נוספה לקטלוג
- 26 בספטמבר 2023
- גרסאות ברשימה
- 2
- כוכבים ב־GitHub
- 2,462
- Forks ב־GitHub
- 166
- אתר רשמי
- scryer.pl
- מזהה winget
- mthom.ScryerProlog
סוגי קבצים נתמכים (1)
דירוגים וביקורות
אין עדיין ביקורות. אפשר להיות הראשונים לדרג.
חלופות ל־Scryer Prolog
הצגת הכול ›-
קוד פתוח2.1M ↓ -
קוד פתוח2.8M ↓ -
קוד פתוח249.7K ↓ -
קוד פתוח3.7M ↓ -
קוד פתוח1.9M ↓ -
קוד פתוח263.6K ↓ -
קוד פתוח2.2M ↓ -
קוד פתוח1.4M ↓
שאלות נפוצות
האם 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. דף החלופות משווה ביניהן.
