热门搜索:
library/swipl
SWI-Prolog Docker镜像提供全面的免费Prolog环境，支持多线程、扩展数据类型、无界算术和Unicode文本，便于处理XML、JSON、RDF等文档及跨语言数据交换。
让 AI 帮你使用轩辕镜像？ · 展开查看说明
如果你使用 DeepSeek、元宝 AI、Copilot、ChatGPT 等 AI 工具，协助配置轩辕镜像、编写 docker pull 命令、修改 Docker Compose 镜像地址、配置镜像加速、排查镜像拉取失败、分析报错日志等问题，请先让 AI 阅读并遵守轩辕镜像的规则文档。
只需在 AI 对话中先发送下面这句话即可：
请先完整阅读并严格遵守以下文档中的全部规则与要求：
https://xuanyuan.cloud/agents.md
在未充分阅读并理解该文档前，不要生成任何命令、配置、修改建议、故障排查方案或技术回答。后续所有输出都必须严格以该文档中的规范为最高优先级执行。查看 agents.md 用法指南与完整示范。国内用户首推 元宝 AI、DeepSeek 的深度思考模式，不推荐豆包 AI；Cursor 等编辑器可在对话 @ 该链接，或加入 User Rules。 若 AI 无法访问外链，可 打开说明文档 复制全文粘贴。文档会随站点更新，复制内容可能过期，建议定期检查。
快速参考
-
维护者：
https://github.com/SWI-Prolog/docker-swipl -
获取帮助：
Docker社区Slack、SWI-Prolog官网、SWI-Prolog论坛、Stack Overflow
支持的标签及对应Dockerfile链接
-
https://github.com/SWI-Prolog/docker-swipl/blob/d4411aa88faba036ab47f95f744f77b4fec6749d/9.3.32/bookworm/Dockerfile
-
https://github.com/SWI-Prolog/docker-swipl/blob/d4411aa88faba036ab47f95f744f77b4fec6749d/9.2.9/bookworm/Dockerfile
快速参考（续）
-
提交issue：
https://github.com/SWI-Prolog/docker-swipl/issues?q= -
支持的架构：(https://github.com/docker-library/official-images#architectures-other-than-amd64)
https://hub.docker.com/r/amd64/swipl/%E3%80%81https://hub.docker.com/r/arm32v7/swipl/%E3%80%81https://hub.docker.com/r/arm64v8/swipl/ -
镜像 artifact 详情：
https://github.com/docker-library/repo-info/blob/master/repos/swipl (https://github.com/docker-library/repo-info/commits/master/repos/swipl)
（包含镜像元数据、传输大小等） -
镜像更新：
https://github.com/docker-library/official-images/issues?q=label%3Alibrary%2Fswipl
https://github.com/docker-library/official-images/blob/master/library/swipl (https://github.com/docker-library/official-images/commits/master/library/swipl) -
本描述来源：
https://github.com/docker-library/docs/tree/master/swipl (https://github.com/docker-library/docs/commits/master/swipl)
什么是 SWI-Prolog？
SWI-Prolog 是一款功能丰富的 Prolog 语言实现。其强大的多线程支持、扩展数据类型、无界算术运算以及 Unicode 文本表示，使得文档（如 XML、JSON、RDF）的自然表示和与其他编程范式的数据交换成为可能。
***.org/wiki/Prolog
!https://raw.githubusercontent.com/docker-library/docs/4fc6655434dd9a7ff8cc46146a5f07395d156d7c/swipl/logo.png
如何使用本镜像
启动 REPL
直接运行本镜像即可获得预构建了大部分常用模块的 SWI-Prolog 环境。无参数启动时，会自动进入 SWI-Prolog REPL：
consoledocker run -it swipl
构建包含应用的镜像
基于此基础镜像构建依赖 SWI-Prolog 并提供自定义默认命令的镜像也非常实用：
dockerfileFROM swipl COPY . /app CMD ["swipl", "/app/start.pl"]
上述 Dockerfile 会将源代码文件提取并复制到镜像中，然后设置默认命令以运行应用。
与 SWI-Prolog 源码分发版的差异
排除的包
- jpl - 排除与 Java 的互操作功能，因为镜像中未包含 Java
- xpce - 排除 XPCE，因其仅用于 GUI 平台
包含的插件
本镜像包含多个常用、构建复杂但占用空间小的 SWI-Prolog 插件：
- space
- prosqlite
- rocksdb*
- hdt*
- rserve_client
*由于平台限制，ARM 架构镜像中不包含这些插件
许可证
查看本镜像中软件包含的 简化 BSD 许可证。
与所有 Docker 镜像一样，本镜像可能还包含其他软件，这些软件可能采用其他许可证（如基础发行版中的 Bash 等，以及主要软件的任何直接或间接依赖项）。
部分可自动检测的额外许可证信息可在 https://github.com/docker-library/repo-info/tree/master/repos/swipl 中找到。
对于任何预构建镜像的使用，镜像用户有责任确保对本镜像的任何使用均符合其中包含的所有软件的相关许可证要求。
镜像拉取方式
您可以使用以下命令拉取该镜像。请将 <标签> 替换为具体的标签版本。如需查看所有可用标签版本，请访问 标签列表页面。
DockerHub 原生拉取命令
docker pull swipl:<标签>
更多 swipl 镜像推荐
swipl/swish
swipl
SWI-Prolog for SHaring (SWISH) 提供一个Web服务器，用于在浏览器中运行SWI-Prolog。
14 次收藏1万+ 次下载
9 个月前更新
amd64/swipl
amd64
SWI-Prolog提供全面的免费Prolog环境。
5万+ 次下载
6 天前更新
arm32v7/swipl
arm32v7
SWI-Prolog是Prolog语言的多功能实现，提供全面的免费Prolog环境，具备强大的多线程支持、扩展数据类型、无界算术运算和Unicode文本表示，适用于文档处理（如XML、JSON、RDF）和跨语言数据交换。
1万+ 次下载
6 天前更新
arm64v8/swipl
arm64v8
SWI-Prolog Docker镜像提供全面的免费Prolog环境，适用于Prolog程序的开发与运行。
1万+ 次下载
6 天前更新
镜像拉取常见问题
功能
错误码
用户好评
来自真实用户的反馈，见证轩辕镜像的优质服务
oldzhang
运维工程师
Linux服务器
5
"Docker访问体验非常流畅，大镜像也能快速完成下载。"