如何打包含pyswip与SWI-Prolog依赖的Python项目为独立exe？

问题 #

我正在开发一个通过pyswip实现Python与SWI-Prolog连接的Tkinter图形界面项目，可根据输入数据生成特定查询并在知识库中执行。希望将该项目打包为可独立运行的.exe文件，让未安装Python和SWI-Prolog的电脑也能运行。

打包配置 #

使用的PyInstaller命令：

pyinstaller --onefile --windowed --clean --hidden-import=pyswip --add-data "data/*;data" --add-data "swi-prolog/*;swi-prolog" --icon="data/icon_steel.ico" gui.py

其中data目录存放知识库及界面所需文件，swi-prolog目录为从PortableApps获取的SWI-Prolog便携版。

脚本中的环境变量设置 #

在Python脚本中添加了以下代码以临时设置SWI-Prolog相关环境变量：

from tkinter import Tk, Toplevel, Canvas, Entry, Button, PhotoImage, messagebox, Label
from pathlib import Path
from pyswip import Prolog
import re, os, sys

if getattr(sys, 'frozen', False):
    # 脚本正以.exe形式运行
    base_path = sys._MEIPASS
else:
    # 脚本正以常规方式运行
    base_path = os.path.dirname(os.path.abspath(__file__))

swi_prolog_path = base_path / 'swi-Prolog' / 'App' / 'SWI-Prolog'
os.environ['SWI_HOME_DIR'] = str(swi_prolog_path)
os.environ['PATH'] = str(swi_prolog_path / 'bin') + os.pathsep + os.environ['PATH']

# 路径定位
conocimientos_path = os.path.join(base_path, 'data', 'conocimientos.pl')
...

运行错误 #

打包后的.exe在未安装Python和SWI-Prolog的电脑上运行时，出现如下错误：

Traceback (most recent call last):
  File "gui.py", line 3, in <module>
  File "<frozen importlib._bootstrap>", line 1178, in _find_and_load
  File "<frozen importlib._bootstrap>", line 1149, in _find_and_load_unlocked
  File "<frozen importlib._bootstrap>", line 690, in _load_unlocked
  File "PyInstaller\loader\pyimod02_importers.py", line 384, in exec_module
  File "pyswip\__init__.py", line 29, in <module>
  File "<frozen importlib._bootstrap>", line 1178, in _find_and_load
  File "<frozen importlib._bootstrap>", line 1149, in _find_and_load_unlocked
  File "<frozen importlib._bootstrap>", line 690, in _load_unlocked
  File "PyInstaller\loader\pyimod02_importers.py", line 384, in exec_module
  File "pyswip\prolog.py", line 26, in <module>
  File "<frozen importlib._bootstrap>", line 1178, in _find_and_load
  File "<frozen importlib._bootstrap>", line 1149, in _find_and_load_unlocked
  File "<frozen importlib._bootstrap>", line 690, in _load_unlocked
  File "PyInstaller\loader\pyimod02_importers.py", line 384, in exec_module
  File "pyswip\core.py", line 510, in <module>
  File "pyswip\core.py", line 358, in _find_swipl
  File "pyswip\core.py", line 194, in _find_swipl_windows
pyswip.core.SwiPrologNotFoundError: SWI-Prolog not found
[PYI-484:ERROR] Failed to execute script 'gui' due to unhandled exception!

请问是否存在可行方法，可将该项目打包为无需预先安装SWI-Prolog即可运行的exe文件？

可行解决方案 #

1. 调整环境变量设置时机（核心修复） #

问题根源是导入pyswip的时机早于环境变量设置——pyswip在导入时就会自动查找SWI-Prolog，此时环境变量还未生效，导致查找失败。

修改脚本，把环境变量设置代码移到pyswip导入之前：

from tkinter import Tk, Toplevel, Canvas, Entry, Button, PhotoImage, messagebox, Label
from pathlib import Path
import re, os, sys

# 先设置环境变量，再导入pyswip
if getattr(sys, 'frozen', False):
    base_path = sys._MEIPASS
else:
    base_path = os.path.dirname(os.path.abspath(__file__))

swi_prolog_path = base_path / 'swi-Prolog' / 'App' / 'SWI-Prolog'
os.environ['SWI_HOME_DIR'] = str(swi_prolog_path)
os.environ['PATH'] = str(swi_prolog_path / 'bin') + os.pathsep + os.environ['PATH']

# 现在才导入pyswip
from pyswip import Prolog

conocimientos_path = os.path.join(base_path, 'data', 'conocimientos.pl')
...

2. 验证便携版SWI-Prolog的完整性 #

检查PortableApps版SWI-Prolog的文件是否齐全：

• 确认swi-prolog/App/SWI-Prolog/bin目录下有swipl.exe、libswipl.dll等核心文件
• 若缺少文件，重新下载完整便携版，或从本地安装的SWI-Prolog目录中复制对应文件补充

3. 优化PyInstaller打包参数 #

• 优先放弃--onefile：单文件模式会在运行时解压到临时目录，容易引发路径识别问题。改用文件夹模式打包，直接分发整个输出文件夹：

pyinstaller --windowed --clean --hidden-import=pyswip --add-data "data/*;data" --add-data "swi-prolog/*;swi-prolog" --icon="data/icon_steel.ico" gui.py

• 若坚持使用单文件，统一路径大小写：代码中用的是swi-Prolog，打包命令中是swi-prolog，Windows虽不区分大小写，但统一名称可避免潜在问题

4. 手动指定SWI-Prolog库路径（兜底方案） #

如果上述方法仍无效，可在导入pyswip前手动加载SWI-Prolog的动态链接库，绕过自动查找逻辑：

# 在设置环境变量后添加以下代码
import ctypes
swipl_dll_path = swi_prolog_path / 'bin' / 'libswipl.dll'
ctypes.CDLL(str(swipl_dll_path))

# 再导入pyswip
from pyswip import Prolog

内容的提问来源于stack exchange，提问作者Daghmar Díaz Canahán