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

SWI-Prolog Docker镜像文档

注意：这是swipl官方镜像的arm32v7架构构建版本的"per-architecture"仓库——更多信息请参见官方镜像文档中的"除amd64外的架构？"和官方镜像FAQ中的"镜像源在Git中已更改，该怎么办？"。

快速参考

• 维护者：
  SWI-Prolog社区

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

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

• latest, 9.3.32

• stable, 9.2.9

快速参考（续）

• 提交issue的地址：
  [***]

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

• 已发布镜像工件详情：
  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 arm32v7/swipl 

构建包含应用的镜像

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

dockerfile
FROM arm32v7/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/目录中找到。

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