arm32v7/swipl

SWI-Prolog Docker镜像文档

注意：这是https://hub.docker.com/_/swipl的`arm32v7`架构构建版本的"per-architecture"仓库——更多信息请参见官方镜像文档中的https://github.com/docker-library/official-images#architectures-other-than-amd64和官方镜像FAQ中的https://github.com/docker-library/faq#an-images-source-changed-in-git-now-what。

快速参考

• 维护者：
  https://github.com/SWI-Prolog/docker-swipl

• 获取帮助：
  https://dockr.ly/comm-slack、https://www.swi-prolog.org、SWI-Prolog论坛、https://stackoverflow.com/help/on-topic

支持的标签及对应的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/, https://hub.docker.com/r/arm32v7/swipl/, https://hub.docker.com/r/arm64v8/swipl/

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

如何使用本镜像

启动REPL

直接运行本镜像即可获得预构建了大多数常用模块的SWI-Prolog环境。不带参数启动时，将自动启动SWI-Prolog REPL：

console
docker run -it docker.xuanyuan.run/arm32v7/swipl

构建包含应用的镜像

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

dockerfile
FROM docker.xuanyuan.run/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架构镜像中排除这些插件

许可证

查看本镜像中包含软件的http://www.swi-prolog.org/license.html。

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

部分能够自动检测到的额外许可证信息可在https://github.com/docker-library/repo-info/tree/master/repos/swipl中找到。

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