Public | Automated Build

Last pushed: 9 months ago
Short Description
Basic Ciao image
Full Description


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
?-
Docker Pull Command
Owner
ciaolang
Source Repository

Comments (0)