პოპულარული: მონაცემები განახლდა: 27 ოქტომბერი, 2026

კატეგორიები

ინტერნეტი1356
კომუნიკაცია321
აუდიო და ვიდეო898
გრაფიკა და დიზაინი539
ოფისი და პროდუქტიულობა1124
დეველოპერის ხელსაწყოები3134
ხელოვნური ინტელექტი529
უსაფრთხოება და კონფიდენციალურობა385
სისტემური ხელსაწყოები3114
თამაშები523
განათლება და მეცნიერება239
ქსელი და IT284

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?

Scryer Prolog — ღია კოდის Windows პროგრამა კატეგორიიდან „ენები და SDK“, რომელსაც Mark Thom გამოსცემს. პროგრამირების ენა: Rust.

ინსტალაცია და მოთხოვნები

გამომცემელი გთავაზობთ პორტატული საინსტალაციო ფაილებს სისტემებისთვის: 64-ბიტიანი. მუშაობს ინსტალაციის გარეშე (პორტატული).

განახლებები და ვერსიების ისტორია

უახლესი ვერსია: 0.9.3, გამოშვების თარიღი: 3 ნოემბერი, 2023. ვერსიების ისტორიაში 2 გამოშვებაა (პირველი: 28 აგვისტო, 2023); ყველა ოფიციალურ ფაილებზე მიუთითებს. ბოლო განახლებიდან ერთ წელზე მეტი გავიდა.

პოპულარობა და ფაილის ტიპები

წყაროს კოდს 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 — ღია კოდის ხელსაწყო (ენები და sdk) კომპიუტერებისთვის: 64-ბიტიანი. განახლებები შენელდა.

Scryer Prolog: უსაფრთხოა თუ არა ჩამოტვირთვა?

  • ფაილი მოდის გამომცემლის საკუთარი დომენიდან (github.com)
  • ჩამოტვირთვის ბმული HTTPS-ს იყენებს
  • SHA256 ჰეში გამოქვეყნებულია, ფაილის შემოწმება შეგიძლიათ: B6CA52B7D1E447A16CA55EC3BE3F3BA772021E3F6531C76ACAA62617C7973248 · გახსენით VirusTotal-ის ანგარიში ამ ჰეშისთვის
  • ბმული ჯერ არ შემოწმებულა
  • წყაროს კოდი ღიაა
  • ExeAtlas საინსტალაციო ფაილებს არ ინახავს, არ ფუთავს და არ ცვლის

დაკავშირებული ინსტრუქცია: როგორ შევამოწმოთ ფაილის SHA256 ჰეში Windows-ზე

უსაფრთხოების პრაქტიკა (OpenSSF Scorecard)

4,9/10

Open Source Security Foundation-ის ავტომატური შემოწმება GitHub-ის რეპოზიტორიისთვის mthom/scryer-prolog; ბოლო გაშვება: 19 ოქტომბერი, 2026.

  • აქტიური მხარდაჭერა10
  • სახიფათო workflow არ არის10
  • რეპოზიტორიაში ბინარული ფაილები არ არის10
  • ლიცენზია მითითებულია10
  • გამოქვეყნებული პაკეტები10
  • კოდის მიმოხილვა8
  • ფიქსირებული დამოკიდებულებები7
  • ტოკენის შეზღუდული უფლებები0
  • OpenSSF Best Practices ნიშანი0
  • უსაფრთხოების პოლიტიკა0
  • ფაზინგი0
  • ბრენჩის დაცვა0
  • ხელმოწერილი გამოშვებები0
  • კოდის სტატიკური ანალიზი0

ქულა აფასებს, როგორ ვითარდება და გამოიცემა პროექტი, და არა იმას, უსაფრთხოა თუ არა პროგრამის ინსტალაცია. scorecard.dev

ბოლო ვერსიები

ყველა ვერსია (2) ›
2023: 2 2 23
ვერსიათარიღიზომაფაილები
0.9.3უახლესი 3 ნოემბერი, 2023 — 64-ბიტიანი ZIP
0.9.2 28 აგვისტო, 2023 — 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
გამოშვების თარიღი
3 ნოემბერი, 2023
დაემატა კატალოგს
26 სექტემბერი, 2023
აღრიცხული ვერსიები
2
GitHub ვარსკვლავები
2462
GitHub ფორკები
166
ოფიციალური საიტი
scryer.pl
winget ID
mthom.ScryerProlog

ფაილის ტიპები, რომლებსაც ხსნის (1)

შეფასებები და მიმოხილვები

–
0 შეფასება
50
40
30
20
10
შეაფასეთ ეს პროგრამა

მიმოხილვები ჯერ არ არის. შეაფასეთ პირველმა.

Scryer Prolog: ალტერნატივები

ყველას ნახვა ›
  • Go Programming Language1.27.0ენები და SDK
    ღია კოდი2,1 მლნ. ↓
  • LLVM23.1.4ენები და SDK · LLVM
    ღია კოდი2,8 მლნ. ↓
  • Deno2.9.8ენები და SDK · Deno Land Inc.
    ღია კოდი249,7 ათ. ↓
  • CMake4.4.4ენები და SDK · Kitware
    ღია კოდი3,7 მლნ. ↓
  • Yarn1.22.22ენები და SDK · Yarn Contributors
    ღია კოდი1,9 მლნ. ↓
  • sbt2.0.11ენები და SDK · Lightbend, Inc.
    ღია კოდი263,6 ათ. ↓
  • Ccache4.14.1ენები და SDK · Joel Rosdahl
    ღია კოდი2,2 მლნ. ↓
  • Dart SDK3.13.7ენები და SDK · Google
    ღია კოდი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. ალტერნატივების გვერდზე ისინი შედარებულია.

ეს გვერდი სხვა ენებზე

შეცდომის შეტყობინება

ყველაზე პოპულარული — ენები და 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

ტეგები

გაზიარება