docs/swipl

Supported tags and respective Dockerfile links

• latest, 7.5.13 (7.5.13/stretch/Dockerfile)

Quick reference

• Where to get help:
  the Docker Community Forums, the Docker Community Slack, or Stack Overflow

• Where to file issues:
  https://github.com/SWI-Prolog/swipl-devel/issues

• Maintained by:
  the SWI-Prolog community

• Published image artifact details:
  repo-info repo's repos/swipl/ directory (history)
  (image metadata, transfer size, etc)

• Image updates:
  official-images PRs with label library/swipl
  official-images repo's library/swipl file (history)

• Source of this description:
  docs repo's swipl/ directory (history)

• Supported Docker versions:
  the latest release (down to 1.6 on a best-effort basis)

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

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:

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:

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.

License

View the Simplified BSD license for the software contained in this image.