FROM debian:jessie MAINTAINER Wolfgang Hottgenroth RUN \ apt-get update && \ apt-get install -y gprolog WORKDIR /source