|
|
@@ -0,0 +1,78 @@
|
|
|
+<!--
|
|
|
+
|
|
|
+********************************************************************************
|
|
|
+
|
|
|
+WARNING:
|
|
|
+
|
|
|
+ DO NOT EDIT "swipl/README.md"
|
|
|
+
|
|
|
+ IT IS AUTO-GENERATED
|
|
|
+
|
|
|
+ (from the other files in "swipl/" combined with a set of templates)
|
|
|
+
|
|
|
+********************************************************************************
|
|
|
+
|
|
|
+-->
|
|
|
+
|
|
|
+# 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)
|
|
|
+
|
|
|
+
|
|
|
+
|
|
|
+# 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.
|