Skip to content

快速参考

  • 由……维护
    SWI-Prolog 社区

  • 何处获取帮助：
    Docker 社区 Slack、SWI-Prolog 主页、SWI-Prolog 论坛、Stack Overflow

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

快速参考（续）

什么是 SWI-Prolog？

SWI-Prolog 是 Prolog 语言的一个多功能实现。它强大的多线程、扩展数据类型、无界算术和文本的 Unicode 表示允许自然地表示文档（例如，XML、JSON、RDF）以及与其他编程范例进行数据交换。

wikipedia.org/wiki/Prolog

logo

如何使用此图像

启动一个 REPL

该图像可直接运行以获得一个预构建了大多数有用模块的 SWI-Prolog 环境。当不带参数启动时，SWI-Prolog REPL 会自动启动：

docker run -it swipl

使用你的应用程序构建一个图像

在这个基础镜像之上构建依赖于 SWI-Prolog 并提供它们自己的默认命令的镜像也很有用：

FROM swipl
COPY . /app
CMD ["swipl", "/app/start.pl"]

这将提取并将你的源文件复制到映像中，然后设置默认命令以运行你的应用程序。

与 SWI-Prolog 源代码发行版的差异

排除的软件包

  • jpl - 与 Java 的互操作性被排除，因为该镜像中不包含 Java
  • xpce - XPCE 被排除在外，因为它仅用于 GUI 平台

包含的加载项

该图像包含几个常用的 SWI-Prolog 插件，构建复杂且需要很少的额外空间。

  • 空间
  • 专业 SQLite
  • rocksdb*
  • “hdt*”没有明确的含义可进行准确翻译，你可以检查一下是否表述准确或提供更多上下文信息
  • Rserve 客户端

*由于平台限制，从 ARM 架构映像中排除

许可证

查看此映像中包含的软件的简化 BSD 许可证。

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

一些能够自动检测到的额外许可证信息可能会在 repo-info 存储库的 swipl/ 目录中找到。

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