FROM debian:jessie
MAINTAINER Wolfgang Hottgenroth <wolfgang.hottgenroth@icloud.com>
RUN \
apt-get update && \
apt-get install -y gprolog
WORKDIR /source