From 1637f75a914c7067ff09a49c4864b1e739d77369 Mon Sep 17 00:00:00 2001 From: Docker Library Bot Date: Thu, 10 Aug 2017 21:33:34 +0000 Subject: [PATCH] Run update.sh --- swipl/README.md | 78 +++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 78 insertions(+) create mode 100644 swipl/README.md diff --git a/swipl/README.md b/swipl/README.md new file mode 100644 index 000000000..c6ee142af --- /dev/null +++ b/swipl/README.md @@ -0,0 +1,78 @@ + + +# Supported tags and respective `Dockerfile` links + +- [`latest`, `7.5.11` (*7.5.11/stretch/Dockerfile*)](https://github.com/SWI-Prolog/docker-swipl/blob/e8d1f0bf3db5e9cbfa331aba06bb740a76a81f83/7.5.11/stretch/Dockerfile) + +# Quick reference + +- **Where to get help**: + [the Docker Community Forums](https://forums.docker.com/), [the Docker Community Slack](https://blog.docker.com/2016/11/introducing-docker-community-directory-docker-community-slack/), or [Stack Overflow](https://stackoverflow.com/search?tab=newest&q=docker) + +- **Where to file issues**: + [https://github.com/SWI-Prolog/swipl-devel/issues](https://github.com/SWI-Prolog/swipl-devel/issues) + +- **Maintained by**: + [the SWI-Prolog community](https://github.com/SWI-Prolog/swipl-devel) + +- **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 PRs with label `library/swipl`](https://github.com/docker-library/official-images/pulls?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)) + +- **Supported Docker versions**: + [the latest release](https://github.com/docker/docker/releases/latest) (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](https://en.wikipedia.org/wiki/Prolog) + +![logo](https://raw.githubusercontent.com/docker-library/docs/4fc6655434dd9a7ff8cc46146a5f07395d156d7c/swipl/logo.png) + +# 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. + +# License + +View the [Simplified BSD license](http://www.swi-prolog.org/license.html) for the software contained in this image.