熱門: 資料更新於2026年10月27日

軟體分類

網路軟體1,356
通訊社群321
影音軟體898
繪圖與影像539
辦公軟體1,124
開發工具3,134
AI工具529
安全與隱私385
系統工具3,114
遊戲523
教育與科學239
網路與IT284

SWI-Prolog 10.0.2 下載(Windows)

A versatile implementation of the Prolog language

SWI-Prolog IDE與程式碼編輯器 #80 IDE與程式碼編輯器

SWI-Prolog offers a comprehensive free Prolog environment. Since its start in 1987, SWI-Prolog development has been driven by the needs of real world applications. SWI-Prolog is widely used in research and education as well as commercial applications.

發行商的介紹(英文)

SWI-Prolog是什麼軟體?

SWI-Prolog由SWI-Prolog發行,是「IDE與程式碼編輯器」分類中的一款開放原始碼Windows軟體。開發者為Jan Wielemaker。第一個版本發行於1987年。主要以C語言開發。除了Windows之外,也有GNU/Linux、BSD、macOS和Android版本。

安裝與系統需求

開發商為64位元的Windows提供EXE(NSIS)格式的安裝檔。主要安裝檔大小為36.1 MB。安裝時需要系統管理員權限。使用安裝檔文件中的參數即可靜默安裝。

更新與舊版本

目前最新版本為10.0.2,發行於2026年3月15日。舊版本最早可追溯到2021年1月27日,共收錄21個版本,全部連到官方檔案。平均每年發行約4.1個版本。

熱門程度與檔案關聯

Chocolatey套件累計下載22,048次。在本站支援的語言中,有8種語言的維基百科收錄了相關條目。在Windows中可關聯3種檔案類型,包括.pl、.prolog和.qlf。同類軟體還有OpenCode、RStudio和Node.js (LTS)。

優點 / 缺點

優點

  • 開放原始碼:任何人都能檢視和自行編譯原始碼
  • 有文件說明的靜默安裝參數
  • 也支援GNU/Linux、BSD和macOS
  • 專案歷史悠久(始於1987年)

缺點

  • 沒有原生ARM64版本
  • 安裝需要系統管理員權限

總結: SWI-Prolog是一款適用於64位元電腦的開放原始碼Windows軟體,歸在「IDE與程式碼編輯器」類。目前仍持續更新。IT管理人員可以進行自動部署。

SWI-Prolog下載安全嗎?

  • 檔案由開發商自己的網域swi-prolog.org提供
  • 下載連結使用HTTPS
  • 已公布SHA256值,可驗證檔案完整性: 2EC1F25BE0EAFB92E559004782B130774C12573FB4B7E8A917E534754A641AD6 · 查看這個雜湊值的VirusTotal報告
  • 最近一次檢查時連結可正常存取(2026年10月22日)
  • 原始碼公開
  • ExeAtlas不存放、不綑綁、也不修改安裝檔

相關教學: Windows如何驗證檔案的SHA256雜湊值

2021: 3 3 21 2022: 4 4 22 2023: 1 1 23 2024: 10 10 24 2025: 1 1 25 2026: 2 2 26

5年內發行21個版本 · 平均每年約4.1個

版本日期大小檔案
10.0.2最新版本 2026年3月15日 36.1 MB 64位元 EXE(NSIS)
10.0.1 2026年2月18日 36.1 MB 64位元 EXE(NSIS)
10.0.0 2025年12月5日 36.8 MB 64位元 EXE(NSIS)
9.2.9 2024年12月23日 14.3 MB 32位元 EXE(NSIS)64位元 EXE(NSIS)
9.2.8 2024年10月23日 13.9 MB 32位元 EXE(NSIS)64位元 EXE(NSIS)
9.2.7 2024年9月3日 13.9 MB 64位元 EXE(NSIS)32位元 EXE(NSIS)
9.2.6 2024年7月24日 13.8 MB 32位元 EXE(NSIS)64位元 EXE(NSIS)
9.2.5 2024年5月22日 13.8 MB 64位元 EXE(NSIS)32位元 EXE(NSIS)

用指令安裝

靜默安裝 ›
PowerShell
wingetwinget install --id SWI-Prolog.SWI-Prolog -e
chocochoco install SWI-Prolog -y
scoopscoop install extras/swipl
silentswipl-10.0.2-1.x64.exe /S

程式檔(.exe): swipl.exe, swipl-ld.exe

相關教學: winget教學:用指令安裝與更新軟體

其他作業系統版本

macOS(Homebrew)brew install swi-prolog
Linux(Flathub)flatpak install flathub org.swi_prolog.swipl

軟體資訊

發行商
SWI-Prolog
開發者
Jan Wielemaker
分類
IDE與程式碼編輯器
授權
BSD-2-Clause
價格
免費
原始碼
github.com
程式語言
C語言
內容分級
普遍級
系統需求
Windows 11 / 10
架構
64位元
安裝檔類型
EXE(NSIS)
其他平台
GNU/Linux, BSD, macOS, Android
版本
10.0.2
發行日期
2026年3月15日
首次發行
1987
收錄日期
2022年1月10日
收錄版本數
21
每年更新次數
4.1
Chocolatey下載次數
22,048
ExeAtlas下載次數
1
官方網站
swi-prolog.org
winget ID
SWI-Prolog.SWI-Prolog
Chocolatey套件名稱
SWI-Prolog
Scoop套件名稱
extras/swipl

可開啟的檔案類型 (3)

評分與評論

–
0則評分
50
40
30
20
10
幫這款軟體評分

目前還沒有評論,歡迎成為第一個評分的人。

SWI-Prolog替代軟體

查看全部 ›
  • OpenCode1.19.4IDE與程式碼編輯器 · OpenCode
    開放原始碼28.5萬 ↓
  • RStudio2026.10.0+233IDE與程式碼編輯器 · Posit Software
    開放原始碼70.5萬 ↓
  • Node.js (LTS)24.22.1IDE與程式碼編輯器 · Node.js Foundation
    開放原始碼493.2萬 ↓
  • Apache NetBeans31IDE與程式碼編輯器 · Apache NetBeans
    開放原始碼8.9萬 ↓
  • Haxe4.3.7IDE與程式碼編輯器 · Haxe Foundation
    開放原始碼5萬 ↓
  • VSCodium1.143.17183IDE與程式碼編輯器 · VSCodium
    開放原始碼39.4萬 ↓
  • Thonny5.0.0IDE與程式碼編輯器 · Aivar Annamaa
    開放原始碼9.5萬 ↓
  • GDevelop5.6.285IDE與程式碼編輯器 · GDevelop Team
    開放原始碼1.2萬 ↓

常見問題

SWI-Prolog是免費的嗎?

是的。SWI-Prolog是開放原始碼軟體,採用BSD-2-Clause授權。

SWI-Prolog下載安全嗎?

安裝檔來自swi-prolog.org,這個網域屬於開發商本身;ExeAtlas不存放也不修改檔案。可以把下載檔案的SHA256值和本頁顯示的值比對,或查看這個雜湊值的VirusTotal報告。

如何用winget安裝SWI-Prolog?

開啟PowerShell或Windows終端機,執行本頁提供的winget指令即可。winget會下載官方安裝檔,並在執行前驗證它的SHA256值。

SWI-Prolog可以靜默安裝嗎?

可以。靜默安裝頁面列出了每個安裝檔對應的完整指令。

SWI-Prolog能在ARM電腦(Windows on Arm)上執行嗎?

沒有ARM64版本;Windows 11 on Arm可以透過模擬執行64位元版本。

SWI-Prolog舊版本要去哪裡下載?

舊版本頁面列出了全部21個版本(最早到2021年1月27日),都附有官方安裝檔連結。

SWI-Prolog有哪些替代軟體?

OpenCode、RStudio、Node.js (LTS)、Apache NetBeans和Haxe。替代軟體頁面對它們做了比較。

本頁的其他語言版本

回報錯誤

IDE與程式碼編輯器熱門排行

查看全部
  1. OpenCodeIDE與程式碼編輯器 · OpenCode
  2. RStudioIDE與程式碼編輯器 · Posit Software
  3. Node.js (LTS)IDE與程式碼編輯器 · Node.js Foundation
  4. Apache NetBeansIDE與程式碼編輯器 · Apache NetBeans
  5. VSCodiumIDE與程式碼編輯器 · VSCodium
  6. HaxeIDE與程式碼編輯器 · Haxe Foundation
  7. ThonnyIDE與程式碼編輯器 · Aivar Annamaa
  8. GDevelopIDE與程式碼編輯器 · GDevelop Team
  9. mkcertIDE與程式碼編輯器 · FiloSottile
  10. ProcessingIDE與程式碼編輯器 · Processing Foundation

標籤

分享