Merge pull request #920 from ninjarobot/master
Adding docs for official SWI-Prolog image.
This commit is contained in:
commit
bfcc5d8654
|
|
@ -0,0 +1 @@
|
||||||
|
SWI-Prolog offers a comprehensive free Prolog environment.
|
||||||
|
|
@ -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.
|
||||||
|
|
@ -0,0 +1 @@
|
||||||
|
https://github.com/SWI-Prolog/swipl-devel
|
||||||
|
|
@ -0,0 +1 @@
|
||||||
|
View the [Simplified BSD license](http://www.swi-prolog.org/license.html) for the software contained in this image.
|
||||||
Binary file not shown.
|
After Width: | Height: | Size: 18 KiB |
|
|
@ -0,0 +1 @@
|
||||||
|
[the SWI-Prolog community](%%GITHUB-REPO%%)
|
||||||
Loading…
Reference in New Issue