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

镜像概述和主要用途

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

注：本镜像为swipl镜像的"特定架构"仓库，仅包含arm64v8架构构建。有关多架构支持的更多信息，参见镜像文档中的"非amd64架构"说明。

核心功能和特性

• 多线程支持：具备稳健的多线程能力，支持并发任务处理
• 扩展数据类型：提供丰富的数据类型，满足复杂数据结构表示需求
• 无限算术运算：支持无界整数和浮点数运算，适用于高精度计算场景
• 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

维护与支持

• 维护者：SWI-Prolog社区
• 获取帮助：
  • Docker社区Slack
  • SWI-Prolog***网站
  • SWI-Prolog论坛
  • Stack Overflow
• 提交issue：GitHub Issues
• 支持的架构：amd64、arm32v7、arm64v8（详细信息）

许可证

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

镜像可能包含其他软件（如基础系统的Bash等），其许可证可能不同。更多自动检测的许可证信息可参见repo-info仓库的swipl目录。

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