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

注意：这是 swipl 官方镜像 的 amd64 架构专用仓库——更多信息，请参见官方镜像文档中的 "除 amd64 外的架构？" 和官方镜像常见问题中的 "镜像源在 Git 中已更改，该怎么办？"。

快速参考

• 维护者：
  SWI-Prolog 社区

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

支持的标签及对应的 Dockerfile 链接

• latest, 9.3.32

• stable, 9.2.9

快速参考（续）

• 问题提交地址：
  [***]

• 支持的架构：(更多信息)
  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 amd64/swipl 

构建包含应用的镜像

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

dockerfile
FROM amd64/swipl
COPY . /app
CMD ["swipl", "/app/start.pl"]

这会将源代码文件提取并复制到镜像中，然后设置默认命令以运行应用。

与 SWI-Prolog 源码发行版的差异

排除的包

• jpl - 排除与 Java 的互操作，因为镜像中未包含 Java
• xpce - 排除 XPCE，因其仅用于 GUI 平台

包含的插件

本镜像包含多个常用、构建复杂但占用空间小的 SWI-Prolog 插件：

• space
• prosqlite
• rocksdb*
• hdt*
• rserve_client

*由于平台限制，ARM 架构镜像中排除了这些插件

许可证

查看本镜像中包含软件的 简化 BSD 许可证。

与所有 Docker 镜像一样，本镜像可能还包含其他软件，这些软件可能采用其他许可证（如基础发行版中的 Bash 等，以及所包含主要软件的任何直接或间接依赖项）。

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

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