arm64v8/swipl

SWI-Prolog Docker镜像文档 (arm64v8架构)

镜像概述和主要用途

本镜像为arm64v8架构的SWI-Prolog官方镜像，是SWI-Prolog语言的Docker化部署版本。SWI-Prolog是Prolog语言的多功能实现，其强大的多线程支持、扩展数据类型、无限算术运算及Unicode文本表示能力，使其能够自然地表示文档（如XML、JSON、RDF）并与其他编程范式进行数据交换。本镜像主要用途是提供开箱即用的SWI-Prolog运行环境，适用于逻辑编程开发、交互式REPL调试及构建基于SWI-Prolog的应用镜像。

注：本镜像为https://hub.docker.com/_/swipl%E7%9A%84%22%E7%89%B9%E5%AE%9A%E6%9E%B6%E6%9E%84%22%E4%BB%93%E5%BA%93%EF%BC%8C%E4%BB%85%E5%8C%85%E5%90%AB%60arm64v8%60%E6%9E%B6%E6%9E%84%E6%9E%84%E5%BB%BA%E3%80%82%E6%9C%89%E5%85%B3%E5%A4%9A%E6%9E%B6%E6%9E%84%E6%94%AF%E6%8C%81%E7%9A%84%E6%9B%B4%E5%A4%9A%E4%BF%A1%E6%81%AF%EF%BC%8C%E5%8F%82%E8%A7%81https://github.com/docker-library/official-images#architectures-other-than-amd64%E3%80%82

核心功能和特性

• 多线程支持：具备稳健的多线程能力，支持并发任务处理
• 扩展数据类型：提供丰富的数据类型，满足复杂数据结构表示需求
• 无限算术运算：支持无界整数和浮点数运算，适用于高精度计算场景
• Unicode文本处理：采用Unicode表示文本，支持多语言及复杂文档处理
• 文档与数据交换：原生支持XML、JSON、RDF等结构化文档的解析与生成
• 预装常用插件：包含space、prosqlite等常用插件（ARM架构中rocksdb和hdt因平台限制未包含）

使用场景和适用范围

• 逻辑编程开发：提供交互式REPL环境，适合Prolog语言学习与调试
• AI与知识表示：适用于人工智能研究、专家系统开发及知识图谱构建
• 文档处理应用：用于XML、JSON、RDF等结构化文档的解析与生成
• 多线程应用开发：基于其多线程特性，可构建并发逻辑处理应用

支持的标签及Dockerfile链接

使用方法和配置说明

启动交互式REPL

直接运行镜像可启动SWI-Prolog REPL（交互式解释器），无需额外参数：

console
docker run -it arm64v8/swipl

此命令将启动一个交互式终端，进入SWI-Prolog环境，可直接输入Prolog代码进行调试和运行。

构建应用镜像

基于本镜像构建自定义应用镜像，需创建Dockerfile并复制应用代码至镜像中。示例Dockerfile如下：

dockerfile
FROM arm64v8/swipl
COPY ./app /app  # 将当前目录下的app文件夹复制到镜像的/app目录
WORKDIR /app     # 设置工作目录为/app
CMD ["swipl", "start.pl"]  # 运行应用入口文件start.pl

构建并运行应用镜像：

console
docker build -t my-swipl-app .
docker run -it my-swipl-app

镜像差异说明

排除的包

由于镜像体积和依赖限制，以下包未包含：

• jpl：Java交互功能（镜像未包含Java环境）
• xpce：GUI平台相关功能（不适用于Docker无GUI环境）

包含的插件

镜像预装以下常用SWI-Prolog插件（ARM架构中rocksdb和hdt因平台限制未包含）：

• space
• prosqlite

维护与支持

• 维护者：https://github.com/SWI-Prolog/docker-swipl
• 获取帮助：
  • Docker社区Slack
  • SWI-Prolog官方网站
  • SWI-Prolog论坛
  • Stack Overflow
• 提交issue：https://github.com/SWI-Prolog/docker-swipl/issues
• 支持的架构：amd64、arm32v7、arm64v8（https://github.com/docker-library/official-images#architectures-other-than-amd64%EF%BC%89

许可证

本镜像中SWI-Prolog软件遵循Simplified BSD许可证。

镜像可能包含其他软件（如基础系统的Bash等），其许可证可能不同。更多自动检测的许可证信息可参见https://github.com/docker-library/repo-info/tree/master/repos/swipl%E3%80%82

使用本镜像时，用户需确保遵守所有包含软件的相关许可证。