本站面向开发者与科研用户，提供开源镜像的搜索和下载加速服务。
所有镜像均来源于原始开源仓库，本站不存储、不修改、不传播任何镜像内容。
轩辕镜像 - 国内开发者首选的专业 Docker 镜像下载加速服务平台 - 官方QQ群:13763429 👈点击免费获得技术支持。
本站面向开发者与科研用户，提供开源镜像的搜索和下载加速服务。所有镜像均来源于原始开源仓库，本站不存储、不修改、不传播任何镜像内容。
本站面向开发者与科研用户，提供开源镜像的搜索和下载加速服务。所有镜像均来源于原始开源仓库，本站不存储、不修改、不传播任何镜像内容。
本站支持搜索的镜像仓库：Docker Hub、gcr.io、ghcr.io、quay.io、k8s.gcr.io、registry.gcr.io、elastic.co、mcr.microsoft.com
swipl Docker 镜像下载 - 轩辕镜像
swipl 镜像详细信息和使用指南
swipl 镜像标签列表和版本信息
swipl 镜像拉取命令和加速下载
swipl 镜像使用说明和配置指南
Docker 镜像加速服务 - 轩辕镜像平台
国内开发者首选的 Docker 镜像加速平台
极速拉取 Docker 镜像服务
相关 Docker 镜像推荐
热门 Docker 镜像下载
arm32v7/swipl
swipl 镜像详细信息
swipl 镜像标签列表
swipl 镜像使用说明
swipl 镜像拉取命令
Docker 镜像加速服务
轩辕镜像平台优势
镜像下载指南
相关 Docker 镜像推荐
SWI-Prolog是Prolog语言的多功能实现，提供全面的免费Prolog环境，具备强大的多线程支持、扩展数据类型、无界算术运算和Unicode文本表示，适用于文档处理（如XML、JSON、RDF）和跨语言数据交换。
0 次下载activearm32v7镜像
swipl 镜像详细说明
swipl 使用指南
swipl 配置说明
swipl 官方文档
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：
docker run -it arm32v7/swipl
构建包含应用的镜像
也可基于此基础镜像构建依赖SWI-Prolog并提供自定义默认命令的镜像：
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/目录中找到。
对于任何预构建镜像的使用，镜像用户有责任确保对本镜像的任何使用均符合其中包含的所有软件的相关许可证要求。
swipl
by library
官方
SWI-Prolog Docker镜像提供全面的免费Prolog环境，支持多线程、扩展数据类型、无界算术和Unicode文本，便于处理XML、JSON、RDF等文档及跨语言数据交换。
731M+ pulls
上次更新：1 天前
swipl/swish
by swipl
SWI-Prolog for SHaring (SWISH) 提供一个Web服务器，用于在浏览器中运行SWI-Prolog。
1410K+ pulls
上次更新：1 个月前
amd64/swipl
by amd64
SWI-Prolog提供全面的免费Prolog环境。
50K+ pulls
上次更新：2 天前
arm64v8/swipl
by arm64v8
SWI-Prolog Docker镜像提供全面的免费Prolog环境，适用于Prolog程序的开发与运行。
10K+ pulls
上次更新：2 天前
常见问题
轩辕镜像免费版与专业版有什么区别？
免费版仅支持 Docker Hub 加速，不承诺可用性和速度；专业版支持更多镜像源，保证可用性和稳定速度，提供优先客服响应。
轩辕镜像免费版与专业版有分别支持哪些镜像？
免费版仅支持 docker.io；专业版支持 docker.io、gcr.io、ghcr.io、registry.k8s.io、nvcr.io、quay.io、mcr.microsoft.com、docker.elastic.co 等。
流量耗尽错误提示
当返回 402 Payment Required 错误时，表示流量已耗尽，需要充值流量包以恢复服务。
410 错误问题
通常由 Docker 版本过低导致，需要升级到 20.x 或更高版本以支持 V2 协议。
manifest unknown 错误
先检查 Docker 版本，版本过低则升级；版本正常则验证镜像信息是否正确。
镜像拉取成功后，如何去掉轩辕镜像域名前缀？
使用 docker tag 命令为镜像打上新标签，去掉域名前缀，使镜像名称更简洁。
轩辕镜像下载加速使用手册
探索更多轩辕镜像的使用方法，找到最适合您系统的配置方式
登录方式进行 Docker 镜像下载加速教程
通过 Docker 登录方式配置轩辕镜像加速服务，包含7个详细步骤
Linux Docker 镜像下载加速教程
在 Linux 系统上配置轩辕镜像源，支持主流发行版
Windows/Mac Docker 镜像下载加速教程
在 Docker Desktop 中配置轩辕镜像加速，适用于桌面系统
Docker Compose 镜像下载加速教程
在 Docker Compose 中使用轩辕镜像加速，支持容器编排
K8s containerd 镜像下载加速教程
在 k8s 中配置 containerd 使用轩辕镜像加速
宝塔面板 Docker 镜像下载加速教程
在宝塔面板中配置轩辕镜像加速，提升服务器管理效率
群晖 NAS Docker 镜像下载加速教程
在 Synology 群晖NAS系统中配置轩辕镜像加速
飞牛fnOS Docker 镜像下载加速教程
在飞牛fnOS系统中配置轩辕镜像加速
极空间 NAS Docker 镜像下载加速教程
在极空间NAS中配置轩辕镜像加速
爱快路由 ikuai Docker 镜像下载加速教程
在爱快ikuai系统中配置轩辕镜像加速
绿联 NAS Docker 镜像下载加速教程
在绿联NAS系统中配置轩辕镜像加速
威联通 NAS Docker 镜像下载加速教程
在威联通NAS系统中配置轩辕镜像加速
Podman Docker 镜像下载加速教程
在 Podman 中配置轩辕镜像加速，支持多系统
ghcr、Quay、nvcr、k8s、gcr 等仓库下载镜像加速教程
配置轩辕镜像加速9大主流镜像仓库，包含详细配置步骤
专属域名方式进行 Docker 镜像下载加速教程
无需登录即可使用轩辕镜像加速服务，更加便捷高效
需要其他帮助？请查看我们的 常见问题 或 官方QQ群: 13763429