# Quick reference - **Maintained by**: [the SWI-Prolog community](https://github.com/SWI-Prolog/docker-swipl) - **Where to get help**: [the Docker Community Slack](https://dockr.ly/comm-slack), [SWI-Prolog home](https://www.swi-prolog.org), [SWI-Prolog forum](https://swi-prolog.discourse.group/), [Stack Overflow](https://stackoverflow.com/help/on-topic) # Supported tags and respective `Dockerfile` links - [`latest`, `9.3.1`](https://github.com/SWI-Prolog/docker-swipl/blob/407be53af3e43f900aabe6f42cef759705d56dab/9.3.1/bookworm/Dockerfile) - [`stable`, `9.2.1`](https://github.com/SWI-Prolog/docker-swipl/blob/407be53af3e43f900aabe6f42cef759705d56dab/9.2.1/bookworm/Dockerfile) # Quick reference (cont.) - **Where to file issues**: [https://github.com/SWI-Prolog/docker-swipl/issues](https://github.com/SWI-Prolog/docker-swipl/issues?q=) - **Supported architectures**: ([more info](https://github.com/docker-library/official-images#architectures-other-than-amd64)) [`amd64`](https://hub.docker.com/r/amd64/swipl/), [`arm32v7`](https://hub.docker.com/r/arm32v7/swipl/), [`arm64v8`](https://hub.docker.com/r/arm64v8/swipl/) - **Published image artifact details**: [repo-info repo's `repos/swipl/` directory](https://github.com/docker-library/repo-info/blob/master/repos/swipl) ([history](https://github.com/docker-library/repo-info/commits/master/repos/swipl)) (image metadata, transfer size, etc) - **Image updates**: [official-images repo's `library/swipl` label](https://github.com/docker-library/official-images/issues?q=label%3Alibrary%2Fswipl) [official-images repo's `library/swipl` file](https://github.com/docker-library/official-images/blob/master/library/swipl) ([history](https://github.com/docker-library/official-images/commits/master/library/swipl)) - **Source of this description**: [docs repo's `swipl/` directory](https://github.com/docker-library/docs/tree/master/swipl) ([history](https://github.com/docker-library/docs/commits/master/swipl)) # What is SWI-Prolog? SWI-Prolog is a versatile implementation of the Prolog language. Its robust multi-threading, extended data types, unbounded arithmetic and Unicode representation of text allow for natural representation of documents (e.g., XML, JSON, RDF) and exchange of data with other programming paradigms. > [wikipedia.org/wiki/Prolog](https://en.wikipedia.org/wiki/Prolog)  # How to use this image ## Start a REPL This image can be run directly to obtain an SWI-Prolog environment with most useful modules pre-built. When started without parameters, the SWI-Prolog REPL is launched automatically: ```console docker run -it swipl ``` ## Build an image with your application It is also useful to build images on top of this base image which rely on SWI-Prolog and provide their own default command: ```dockerfile FROM swipl COPY . /app CMD ["swipl", "/app/start.pl"] ``` This will extract and copy your source files to the image and then set the default command to run your application. ## Differences from the SWI-Prolog source distribution ### Excluded packages - jpl - interop with Java is excluded, as Java isn't included on the image - xpce - XPCE is excluded, as it's used only for the GUI platform ### Included addins This image includes several SWI-Prolog addins that are commonly used, complex to build, and require little additional space. - space - prosqlite - rocksdb\* - hdt\* - rserve_client \*excluded from ARM architecture images due to platform constraints # License View the [Simplified BSD license](http://www.swi-prolog.org/license.html) for the software contained in this image. As with all Docker images, these likely also contain other software which may be under other licenses (such as Bash, etc from the base distribution, along with any direct or indirect dependencies of the primary software being contained). Some additional license information which was able to be auto-detected might be found in [the `repo-info` repository's `swipl/` directory](https://github.com/docker-library/repo-info/tree/master/repos/swipl). As for any pre-built image usage, it is the image user's responsibility to ensure that any use of this image complies with any relevant licenses for all software contained within.