लोकप्रिय: डेटा अपडेट: २७ ऑक्टोबर, २०२६

श्रेण्या

इंटरनेट१,३५६
संवाद३२१
ऑडिओ आणि व्हिडिओ८९८
ग्राफिक्स आणि डिझाइन५३९
ऑफिस आणि प्रॉडक्टिव्हिटी१,१२४
डेव्हलपर टूल्स३,१३४
AI टूल्स५२९
सिक्युरिटी आणि प्रायव्हसी३८५
सिस्टम टूल्स३,११४
गेम्स५२३
शिक्षण आणि विज्ञान२३९
नेटवर्क आणि IT२८४

Scryer Prolog 0.9.3 Windows साठी डाउनलोड करा

A modern Prolog implementation written mostly in Rust.

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 काय आहे?

Mark Thom यांनी प्रकाशित केलेले Scryer Prolog हे ओपन सोर्स Windows सॉफ्टवेअर आहे (श्रेणी: प्रोग्रामिंग भाषा आणि SDK). ते Rust मध्ये लिहिलेले आहे.

इन्स्टॉलेशन आणि सिस्टम आवश्यकता

प्रकाशक 64-बिट Windows साठी पोर्टेबल इन्स्टॉलर देतो. ते इन्स्टॉल न करता चालवता येते (पोर्टेबल).

अपडेट आणि आवृत्ती इतिहास

सध्याची आवृत्ती 0.9.3 आहे, जी ३ नोव्हेंबर, २०२३ रोजी रिलीज झाली. आवृत्ती इतिहासात २८ ऑगस्ट, २०२३ पासूनची २ रिलीज आहेत आणि ती सर्व अधिकृत फाइल्सशी जोडलेली आहेत. शेवटचे अपडेट एका वर्षापेक्षा जास्त जुने आहे.

लोकप्रियता आणि फाइल प्रकार

GitHub वर त्याच्या सोर्स कोडला (mthom/scryer-prolog) २,४६२ स्टार मिळाले आहेत. Windows वर ते १ फाइल प्रकार नोंदवते, त्यांपैकी काही: .pl. याच प्रकारचे प्रोग्राम: Go Programming Language, LLVM आणि Deno.

GitHub वरील प्रोजेक्टचे वर्णन: “A modern Prolog implementation written mostly in Rust.”

जमेच्या बाजू / मर्यादा

जमेच्या बाजू

  • ओपन सोर्स: कोणीही त्याचा कोड पाहू आणि बिल्ड करू शकतो
  • पोर्टेबल: इन्स्टॉल न करता चालते

मर्यादा

  • नेटिव्ह ARM64 बिल्ड नाही
  • एका वर्षाहून अधिक काळ कोणतेही अपडेट नाही

थोडक्यात: Scryer Prolog हे 64-बिट PC साठीचे ओपन सोर्स Windows टूल आहे (श्रेणी: प्रोग्रामिंग भाषा आणि SDK). त्याचे अपडेट मंदावले आहेत.

Scryer Prolog डाउनलोड करणे सुरक्षित आहे का?

  • फाइल github.com वरून येते, जे प्रकाशकाचे स्वतःचे डोमेन आहे
  • डाउनलोड लिंक HTTPS वापरते
  • SHA256 हॅश प्रकाशित आहे, त्यामुळे आपण फाइल तपासू शकता: B6CA52B7D1E447A16CA55EC3BE3F3BA772021E3F6531C76ACAA62617C7973248 · या हॅशचा VirusTotal अहवाल उघडा
  • लिंक अद्याप तपासलेली नाही
  • सोर्स कोड सार्वजनिक आहे
  • ExeAtlas इन्स्टॉलर होस्ट करत नाही, रॅप करत नाही आणि बदलत नाही

संबंधित मार्गदर्शक: Windows वर फाइलचा SHA256 हॅश कसा तपासायचा

सुरक्षा पद्धती (OpenSSF Scorecard)

४.९/10

Open Source Security Foundation ने GitHub वरील mthom/scryer-prolog रिपॉझिटरीची केलेली स्वयंचलित तपासणी, शेवटची १९ ऑक्टोबर, २०२६ रोजी.

  • सक्रिय देखभाल१०
  • धोकादायक वर्कफ्लो नाही१०
  • रिपॉझिटरीत बायनरी नाहीत१०
  • लायसन्स जाहीर१०
  • प्रकाशित पॅकेज१०
  • कोड रिव्ह्यू८
  • पिन केलेल्या डिपेंडन्सी७
  • टोकन परवानग्या मर्यादित०
  • OpenSSF Best Practices बॅज०
  • सुरक्षा धोरण०
  • फझिंग०
  • ब्रँच संरक्षण०
  • स्वाक्षरी केलेली रिलीज०
  • स्टॅटिक कोड विश्लेषण०

हा स्कोअर प्रोजेक्ट कसा बनवला आणि रिलीज केला जातो हे सांगतो, प्रोग्राम इन्स्टॉल करणे सुरक्षित आहे की नाही हे नाही. scorecard.dev

अलीकडील आवृत्त्या

सर्व २ आवृत्त्या ›
2023: 2 2 23
आवृत्तीतारीखआकारफाइल्स
0.9.3नवीनतम ३ नोव्हेंबर, २०२३ — 64-बिट ZIP
0.9.2 २८ ऑगस्ट, २०२३ — 64-बिट ZIP

कमांड लाइनवरून इन्स्टॉल करा

सायलेंट इन्स्टॉल ›
PowerShell
wingetwinget install --id mthom.ScryerProlog -e

संबंधित मार्गदर्शक: winget कसे वापरावे: ॲप्स इन्स्टॉल आणि अपडेट करा

इतर सिस्टमसाठीही

macOS (Homebrew)brew install scryer-prolog

माहिती

प्रकाशक
Mark Thom
श्रेणी
प्रोग्रामिंग भाषा आणि SDK
लायसन्स
BSD-3-Clause
किंमत
मोफत
सोर्स कोड
github.com/mthom/scryer-prolog
प्रोग्रामिंग भाषा
Rust
आवश्यक सिस्टम
Windows 11 / 10
आर्किटेक्चर
64-बिट
इन्स्टॉलर
पोर्टेबल
आवृत्ती
0.9.3
रिलीज
३ नोव्हेंबर, २०२३
कॅटलॉगमध्ये जोडले
२६ सप्टेंबर, २०२३
नोंदवलेल्या आवृत्त्या
2
GitHub स्टार
२,४६२
GitHub फोर्क
१६६
वेबसाइट
scryer.pl
winget ID
mthom.ScryerProlog

कोणत्या फाइल्स उघडते (1)

रेटिंग आणि रिव्ह्यू

–
० रेटिंग
50
40
30
20
10
या ॲपला रेटिंग द्या

अद्याप कोणताही रिव्ह्यू नाही. सर्वात आधी रेटिंग द्या.

Scryer Prolog चे पर्याय

सर्व पाहा ›
  • Go Programming Language1.27.0प्रोग्रामिंग भाषा आणि SDK
    ओपन सोर्स२१.१ लाख ↓
  • LLVM23.1.4प्रोग्रामिंग भाषा आणि SDK · LLVM
    ओपन सोर्स२८.३ लाख ↓
  • Deno2.9.8प्रोग्रामिंग भाषा आणि SDK · Deno Land Inc.
    ओपन सोर्स२.५ लाख ↓
  • CMake4.4.4प्रोग्रामिंग भाषा आणि SDK · Kitware
    ओपन सोर्स३७ लाख ↓
  • Yarn1.22.22प्रोग्रामिंग भाषा आणि SDK · Yarn Contributors
    ओपन सोर्स१८.६ लाख ↓
  • sbt2.0.11प्रोग्रामिंग भाषा आणि SDK · Lightbend, Inc.
    ओपन सोर्स२.६ लाख ↓
  • Ccache4.14.1प्रोग्रामिंग भाषा आणि SDK · Joel Rosdahl
    ओपन सोर्स२२.३ लाख ↓
  • Dart SDK3.13.7प्रोग्रामिंग भाषा आणि SDK · Google
    ओपन सोर्स१४.५ लाख ↓

वारंवार विचारले जाणारे प्रश्न

Scryer Prolog मोफत आहे का?

हो. Scryer Prolog हे ओपन सोर्स सॉफ्टवेअर आहे (BSD-3-Clause लायसन्स).

Scryer Prolog डाउनलोड करणे सुरक्षित आहे का?

फाइल github.com वरून डाउनलोड होते, जो प्रकाशकाचा स्वतःचा आहे; ExeAtlas फाइल होस्ट करत नाही आणि बदलतही नाही. डाउनलोड केलेल्या फाइलचा SHA256 हॅश येथे दाखवलेल्या हॅशशी जुळवा, किंवा त्या हॅशचा VirusTotal अहवाल उघडा.

winget ने Scryer Prolog कसे इन्स्टॉल करायचे?

PowerShell किंवा Windows Terminal उघडा आणि या पेजवर दिलेली winget कमांड चालवा. winget अधिकृत इन्स्टॉलर डाउनलोड करतो आणि चालवण्यापूर्वी त्याचा SHA256 हॅश तपासतो.

Scryer Prolog ARM (Windows on Arm) वर चालते का?

ARM64 बिल्ड नाही; Windows 11 on Arm वर 64-बिट आवृत्ती एम्युलेशनद्वारे चालू शकते.

Scryer Prolog ची जुनी आवृत्ती कुठून डाउनलोड करायची?

आवृत्त्यांच्या पेजवर २८ ऑगस्ट, २०२३ पासूनच्या सर्व २ आवृत्त्या त्यांच्या अधिकृत इन्स्टॉलर फाइल्सच्या लिंकसह दिल्या आहेत.

Scryer Prolog ॲडमिनिस्ट्रेटर अधिकारांशिवाय वापरता येते का?

हो, ते पोर्टेबल आहे: फाइल अनपॅक करा आणि चालवा.

Scryer Prolog चे पर्याय कोणते आहेत?

Go Programming Language, LLVM, Deno, CMake आणि Yarn. पर्यायांच्या पेजवर त्यांची तुलना दिली आहे.

हे पेज इतर भाषांमध्ये

चूक कळवा

प्रोग्रामिंग भाषा आणि SDK मध्ये सर्वाधिक लोकप्रिय

सर्व पाहा
  1. Go Programming Languageप्रोग्रामिंग भाषा आणि SDK
  2. LLVMप्रोग्रामिंग भाषा आणि SDK · LLVM
  3. Denoप्रोग्रामिंग भाषा आणि SDK · Deno Land Inc.
  4. CMakeप्रोग्रामिंग भाषा आणि SDK · Kitware
  5. Yarnप्रोग्रामिंग भाषा आणि SDK · Yarn Contributors
  6. Ccacheप्रोग्रामिंग भाषा आणि SDK · Joel Rosdahl
  7. sbtप्रोग्रामिंग भाषा आणि SDK · Lightbend, Inc.
  8. BOINCप्रोग्रामिंग भाषा आणि SDK · Space Sciences Laboratory, U.C. Berkeley
  9. Dart SDKप्रोग्रामिंग भाषा आणि SDK · Google
  10. NVM for Windowsप्रोग्रामिंग भाषा आणि SDK · Ecor Ventures LLC

टॅग

शेअर करा