Populer: Data diperbarui 27 Oktober 2026

Kategori

Internet1.356
Komunikasi321
Audio & video898
Grafis & desain539
Perkantoran & produktivitas1.124
Alat developer3.134
Aplikasi AI529
Keamanan & privasi385
Alat sistem3.114
Game523
Pendidikan & sains239
Jaringan & IT284

Download Scryer Prolog 0.9.3 untuk 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.

Deskripsi dari penerbit (Inggris)

Apa itu Scryer Prolog?

Diterbitkan oleh Mark Thom, Scryer Prolog merupakan software open source untuk Windows yang termasuk kategori Bahasa pemrograman & SDK. Program ini ditulis dengan Rust.

Instalasi dan persyaratan sistem

Penerbit menyediakan installer Portabel untuk sistem 64-bit. Program ini bisa dijalankan tanpa instalasi (portabel).

Pembaruan dan riwayat versi

Versi terbaru saat ini adalah 0.9.3, dirilis pada 3 November 2023. Riwayat versinya dimulai pada 28 Agustus 2023: 2 rilis, semuanya tertaut ke file resmi. Pembaruan terakhir dirilis lebih dari setahun yang lalu.

Popularitas dan jenis file

Kode sumbernya di GitHub (mthom/scryer-prolog) mendapat 2.462 bintang. Di Windows, program ini mendaftarkan 1 jenis file, di antaranya .pl. Program serupa antara lain Go Programming Language, LLVM dan Deno.

Deskripsi proyek di GitHub: “A modern Prolog implementation written mostly in Rust.”

Kelebihan / Kekurangan

Kelebihan

  • Open source: kodenya bisa diperiksa dan dikompilasi siapa saja
  • Portabel: berjalan tanpa instalasi

Kekurangan

  • Tidak ada versi ARM64 native
  • Tidak ada pembaruan lebih dari setahun

Singkatnya: Scryer Prolog adalah aplikasi kategori Bahasa pemrograman & SDK yang open source untuk PC 64-bit. Pembaruannya sudah jarang.

Apakah Scryer Prolog aman diunduh?

  • File disediakan oleh github.com, domain milik penerbit
  • Tautan download menggunakan HTTPS
  • Hash SHA256 tersedia, sehingga file bisa diverifikasi: B6CA52B7D1E447A16CA55EC3BE3F3BA772021E3F6531C76ACAA62617C7973248 · Buka laporan VirusTotal untuk hash ini
  • Tautan belum dicek
  • Kode sumbernya terbuka untuk umum
  • ExeAtlas tidak menyimpan, membungkus, atau mengubah installer

Panduan terkait: Cara cek hash SHA256 file di Windows

Praktik keamanan (OpenSSF Scorecard)

4,9/10

Pemeriksaan otomatis oleh Open Source Security Foundation terhadap repositori mthom/scryer-prolog di GitHub, terakhir dijalankan pada 19 Oktober 2026.

  • Aktif dikelola10
  • Tanpa workflow berbahaya10
  • Tanpa file biner di repositori10
  • Lisensi dicantumkan10
  • Paket dipublikasikan10
  • Review kode8
  • Dependensi dikunci versinya7
  • Izin token dibatasi0
  • Lencana OpenSSF Best Practices0
  • Kebijakan keamanan0
  • Fuzzing0
  • Proteksi branch0
  • Rilis bertanda tangan0
  • Analisis kode statis0

Skor ini menilai cara proyek dikembangkan dan dirilis, bukan apakah program aman untuk diinstal. scorecard.dev

Rilis terakhir

Semua 2 versi ›
2023: 2 2 23
VersiTanggalUkuranFile
0.9.3Terbaru 3 November 2023 — 64-bit ZIP
0.9.2 28 Agustus 2023 — 64-bit ZIP

Instalasi lewat command line

Instalasi senyap ›
PowerShell
wingetwinget install --id mthom.ScryerProlog -e

Panduan terkait: Cara pakai winget: instal dan update aplikasi

Juga tersedia untuk sistem lain

macOS (Homebrew)brew install scryer-prolog

Informasi

Penerbit
Mark Thom
Kategori
Bahasa pemrograman & SDK
Lisensi
BSD-3-Clause
Harga
Gratis
Kode sumber
github.com/mthom/scryer-prolog
Bahasa pemrograman
Rust
Persyaratan
Windows 11 / 10
Arsitektur
64-bit
Installer
Portabel
Versi
0.9.3
Tanggal rilis
3 November 2023
Masuk katalog
26 September 2023
Versi tercatat
2
Bintang GitHub
2.462
Fork GitHub
166
Situs web
scryer.pl
ID winget
mthom.ScryerProlog

Jenis file yang bisa dibuka (1)

Rating dan ulasan

–
0 rating
50
40
30
20
10
Beri rating aplikasi ini

Belum ada ulasan. Jadilah yang pertama memberi rating.

Alternatif Scryer Prolog

Lihat semua ›
  • Go Programming Language1.27.0Bahasa pemrograman & SDK
    Open source2,1 jt ↓
  • LLVM23.1.4Bahasa pemrograman & SDK · LLVM
    Open source2,8 jt ↓
  • Deno2.9.8Bahasa pemrograman & SDK · Deno Land Inc.
    Open source249,7 rb ↓
  • CMake4.4.4Bahasa pemrograman & SDK · Kitware
    Open source3,7 jt ↓
  • Yarn1.22.22Bahasa pemrograman & SDK · Yarn Contributors
    Open source1,9 jt ↓
  • sbt2.0.11Bahasa pemrograman & SDK · Lightbend, Inc.
    Open source263,6 rb ↓
  • Ccache4.14.1Bahasa pemrograman & SDK · Joel Rosdahl
    Open source2,2 jt ↓
  • Dart SDK3.13.7Bahasa pemrograman & SDK · Google
    Open source1,4 jt ↓

Pertanyaan yang sering diajukan

Apakah Scryer Prolog gratis?

Ya. Scryer Prolog adalah software open source berlisensi BSD-3-Clause.

Apakah Scryer Prolog aman diunduh?

File download berasal dari github.com, domain milik penerbit; ExeAtlas tidak menyimpan atau mengubah file tersebut. Cocokkan hash SHA256 file tersebut dengan yang tertera di sini, atau buka laporan VirusTotal untuk hash itu.

Bagaimana cara menginstal Scryer Prolog dengan winget?

Buka PowerShell atau Windows Terminal, lalu jalankan perintah winget yang tertera di halaman ini. winget mengunduh installer resmi dan memeriksa hash SHA256-nya sebelum menjalankannya.

Apakah Scryer Prolog bisa berjalan di prosesor ARM (Windows on Arm)?

Tidak ada versi ARM64; Windows 11 on Arm dapat menjalankan versi 64-bit melalui emulasi.

Di mana download Scryer Prolog versi lama?

Halaman versi mencantumkan seluruh 2 versi beserta tautan ke file installer resminya, mundur hingga 28 Agustus 2023.

Apakah Scryer Prolog bisa dipakai tanpa hak administrator?

Ya, program ini portabel: cukup ekstrak lalu jalankan.

Apa saja alternatif Scryer Prolog?

Go Programming Language, LLVM, Deno, CMake dan Yarn. Halaman alternatif membandingkan semuanya.

Halaman ini dalam bahasa lain

Laporkan kesalahan

Terpopuler di Bahasa pemrograman & SDK

Lihat semua
  1. Go Programming LanguageBahasa pemrograman & SDK
  2. LLVMBahasa pemrograman & SDK · LLVM
  3. DenoBahasa pemrograman & SDK · Deno Land Inc.
  4. CMakeBahasa pemrograman & SDK · Kitware
  5. YarnBahasa pemrograman & SDK · Yarn Contributors
  6. CcacheBahasa pemrograman & SDK · Joel Rosdahl
  7. sbtBahasa pemrograman & SDK · Lightbend, Inc.
  8. BOINCBahasa pemrograman & SDK · Space Sciences Laboratory, U.C. Berkeley
  9. Dart SDKBahasa pemrograman & SDK · Google
  10. NVM for WindowsBahasa pemrograman & SDK · Ecor Ventures LLC

Tag

Bagikan