swipl Docker 镜像 - 轩辕镜像 | Docker 镜像高效稳定拉取服务

快速参考

• 维护者：
  SWI-Prolog社区

• 获取帮助：
  Docker社区Slack、SWI-Prolog官网、SWI-Prolog论坛、Stack Overflow

支持的标签及对应Dockerfile链接

• latest, 9.3.32

• stable, 9.2.9

快速参考（续）

• 提交issue：
  [***]

• 支持的架构：(更多信息)
  amd64、arm32v7、arm64v8

• 镜像 artifact 详情：
  repo-info 仓库的 repos/swipl/ 目录 (历史记录)
  （包含镜像元数据、传输大小等）

• 镜像更新：
  official-images 仓库的 library/swipl 标签
  official-images 仓库的 library/swipl 文件 (历史记录)

• 本描述来源：
  docs 仓库的 swipl/ 目录 (历史记录)

什么是 SWI-Prolog？

SWI-Prolog 是一款功能丰富的 Prolog 语言实现。其强大的多线程支持、扩展数据类型、无界算术运算以及 Unicode 文本表示，使得文档（如 XML、JSON、RDF）的自然表示和与其他编程范式的数据交换成为可能。

***.org/wiki/Prolog

!logo

如何使用本镜像

启动 REPL

直接运行本镜像即可获得预构建了大部分常用模块的 SWI-Prolog 环境。无参数启动时，会自动进入 SWI-Prolog REPL：

console
docker run -it swipl 

构建包含应用的镜像

基于此基础镜像构建依赖 SWI-Prolog 并提供自定义默认命令的镜像也非常实用：

dockerfile
FROM 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 等，以及主要软件的任何直接或间接依赖项）。

部分可自动检测的额外许可证信息可在 repo-info 仓库的 swipl/ 目录 中找到。

对于任何预构建镜像的使用，镜像用户有责任确保对本镜像的任何使用均符合其中包含的所有软件的相关许可证要求。