ยอดนิยม: อัปเดตข้อมูลเมื่อ 27 ตุลาคม 2569

หมวดหมู่

อินเทอร์เน็ต1,356
การสื่อสาร321
เสียงและวิดีโอ898
กราฟิกและการออกแบบ539
ออฟฟิศและเพิ่มประสิทธิภาพ1,124
เครื่องมือนักพัฒนา3,134
เครื่องมือ AI529
ความปลอดภัยและความเป็นส่วนตัว385
เครื่องมือระบบ3,114
เกม523
การศึกษาและวิทยาศาสตร์239
เครือข่ายและไอที284

ดาวน์โหลด 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

การติดตั้งและความต้องการของระบบ

ผู้เผยแพร่มีตัวติดตั้ง พกพา (Portable) สำหรับระบบ 64 บิต ใช้งานได้โดยไม่ต้องติดตั้ง (แบบพกพา)

การอัปเดตและประวัติเวอร์ชัน

เวอร์ชันล่าสุดคือ 0.9.3 เผยแพร่เมื่อ 3 พฤศจิกายน 2566 ประวัติเวอร์ชันย้อนไปถึง 28 สิงหาคม 2566 รวม 2 รุ่น ทุกรุ่นลิงก์ไปยังไฟล์ทางการ การอัปเดตล่าสุดผ่านมานานกว่าหนึ่งปีแล้ว

ความนิยมและประเภทไฟล์

ซอร์สโค้ดบน GitHub (mthom/scryer-prolog) ได้รับ 2,462 ดาว บน 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

ผลตรวจอัตโนมัติของรีโพสิทอรี mthom/scryer-prolog บน GitHub โดย Open Source Security Foundation ตรวจครั้งล่าสุดเมื่อ 19 ตุลาคม 2569

  • มีการดูแลต่อเนื่อง10
  • ไม่มีเวิร์กโฟลว์อันตราย10
  • ไม่มีไฟล์ไบนารีในรีโพ10
  • ระบุสัญญาอนุญาต10
  • มีแพ็กเกจเผยแพร่10
  • รีวิวโค้ด8
  • ตรึงเวอร์ชัน dependency7
  • จำกัดสิทธิ์โทเค็น0
  • เครื่องหมาย OpenSSF Best Practices0
  • นโยบายความปลอดภัย0
  • ทดสอบแบบ fuzzing0
  • ป้องกันบรานช์0
  • รีลีสลงลายเซ็น0
  • วิเคราะห์โค้ดแบบสถิต0

คะแนนนี้ประเมินวิธีพัฒนาและเผยแพร่โปรเจกต์ ไม่ได้บอกว่าโปรแกรมปลอดภัยต่อการติดตั้งหรือไม่ scorecard.dev

เวอร์ชันล่าสุด

ทั้งหมด 2 เวอร์ชัน ›
2023: 2 2 23
เวอร์ชันวันที่ขนาดไฟล์
0.9.3ล่าสุด 3 พฤศจิกายน 2566 — 64 บิต ZIP
0.9.2 28 สิงหาคม 2566 — 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 บิต
ตัวติดตั้ง
พกพา (Portable)
เวอร์ชัน
0.9.3
วันที่เผยแพร่
3 พฤศจิกายน 2566
เพิ่มเข้าแค็ตตาล็อก
26 กันยายน 2566
จำนวนเวอร์ชันในรายการ
2
ดาว GitHub
2,462
GitHub fork
166
เว็บไซต์
scryer.pl
winget ID
mthom.ScryerProlog

ประเภทไฟล์ที่เปิดได้ (1)

คะแนนและรีวิว

–
0 คะแนน
50
40
30
20
10
ให้คะแนนโปรแกรมนี้

ยังไม่มีรีวิว ร่วมให้คะแนนเป็นคนแรก

โปรแกรมทดแทน Scryer Prolog

ดูทั้งหมด ›
  • Go Programming Language1.27.0ภาษาโปรแกรมและ SDK
    โอเพนซอร์ส2.1M ↓
  • LLVM23.1.4ภาษาโปรแกรมและ SDK · LLVM
    โอเพนซอร์ส2.8M ↓
  • Deno2.9.8ภาษาโปรแกรมและ SDK · Deno Land Inc.
    โอเพนซอร์ส249.7K ↓
  • CMake4.4.4ภาษาโปรแกรมและ SDK · Kitware
    โอเพนซอร์ส3.7M ↓
  • Yarn1.22.22ภาษาโปรแกรมและ SDK · Yarn Contributors
    โอเพนซอร์ส1.9M ↓
  • sbt2.0.11ภาษาโปรแกรมและ SDK · Lightbend, Inc.
    โอเพนซอร์ส263.6K ↓
  • Ccache4.14.1ภาษาโปรแกรมและ SDK · Joel Rosdahl
    โอเพนซอร์ส2.2M ↓
  • Dart SDK3.13.7ภาษาโปรแกรมและ SDK · Google
    โอเพนซอร์ส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 สิงหาคม 2566

ใช้ 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

แท็ก

แชร์