diff --git a/swipl/README-short.txt b/swipl/README-short.txt new file mode 100644 index 000000000..27eb9e042 --- /dev/null +++ b/swipl/README-short.txt @@ -0,0 +1 @@ +SWI-Prolog offers a comprehensive free Prolog environment. \ No newline at end of file diff --git a/swipl/content.md b/swipl/content.md new file mode 100644 index 000000000..8ba856604 --- /dev/null +++ b/swipl/content.md @@ -0,0 +1,29 @@ +# 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%% + +# 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 %%IMAGE%% +``` + +## 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 %%IMAGE%% +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. diff --git a/swipl/github-repo b/swipl/github-repo new file mode 100644 index 000000000..85c76011d --- /dev/null +++ b/swipl/github-repo @@ -0,0 +1 @@ +https://github.com/SWI-Prolog/swipl-devel \ No newline at end of file diff --git a/swipl/license.md b/swipl/license.md new file mode 100644 index 000000000..3095f8ce3 --- /dev/null +++ b/swipl/license.md @@ -0,0 +1 @@ +View the [Simplified BSD license](http://www.swi-prolog.org/license.html) for the software contained in this image. diff --git a/swipl/logo.png b/swipl/logo.png new file mode 100644 index 000000000..31e395cde Binary files /dev/null and b/swipl/logo.png differ diff --git a/swipl/maintainer.md b/swipl/maintainer.md new file mode 100644 index 000000000..0a35092b6 --- /dev/null +++ b/swipl/maintainer.md @@ -0,0 +1 @@ +[the SWI-Prolog community](%%GITHUB-REPO%%)