kasteph / clingo-notebook

A Docker image with clingo and Jupyter installed. Write ASP with clingo quickly!

clingo-notebook 📒

A docker image with clingo, Jupyter, and conda installed.

But why make this notebook if clingo has conda as a dependency anyway? 🤔

This is made for people who do not use conda primarily as their Python package manager (such as myself) or for software developers who do not use Python extensively but are probably serial docker users.

Installation

Install docker if you have not already.

With docker installed:

docker pull stephsamson/clingo

Quickstart

In your project workspace (such as ~/code/asp, for example), run:

docker run --rm -p 8888:8888 -v "$PWD":/home/jovyan/work stephsamson/clingo

A Jupyter notebook link will appear on your terminal; copy and paste this link onto your browser. Your project workspace will be under /work in the Jupyter notebook tree.

Before you run a cell in a Jupyter notebook, make sure that you have the following to run cell magic:

%%clingo -V0 0

... so it should look like this:

To enable verbose mode in cell magic, simply use the following cell magic:

%%clingo 0

And that's it! 💫

No Notebook

If you don't need a notebook because you simply want to run the .lp file from your project workspace:

# assumes dir has .lp files
docker run --rm -it -v "$PWD":/home/jovyan/work --entrypoint=/bin/bash stephsamson/clingo

This will run an interactive bash shell and your work will be under the work directory.

More Options

This docker image is built on jupyter/docker-stacks so it is capable of accepting other options as written on their documentation.