This Docker image corresponds to ciaolang/ciao. It is built automatically from its definition at github using the Ciao sources.

The image can be used as base for more complex setups.

Example of use:

$ docker pull ciaolang/ciao
$ docker run --rm -ti ciaolang/ciao /ciao/build/bin/ciao
Ciao 1.15-master-g073788d (2016-02-18 13:29:10 +0100) [LINUXx86_64]
?- use_package(clpq).
{Using package /ciao/core/library/clpq/clpq.pl
{Including /ciao/core/library/clpqr/clpqr_ops.pl
}
}

yes
?- X+Y.=.1, X-Y.=.0.

X = 1/2,
Y = 1/2 ? 

yes
?-