clingo-server.tex

% ----------------------------------------------------------------------
\begin{frame}{\textit{clingo-server}}
  \begin{itemize}
    \item \structure{Idea} \ run \clingo\ as a server and use it via a Web API
    \item \structure{API methods} \
      \begin{itemize}
        \item create a solver
        \item register a theory
        \item add logic programs
        \item initiate grounding
        \item set value of external atoms
        \item initiate solving (with assumptions)
        \item poll models
        \item resume solving
        \item finalize search
      \end{itemize}
    \item \structure{Applications} \ running ASP-based systems in the cloud
  \end{itemize}
\end{frame}
% ----------------------------------------------------------------------
\begin{frame}[fragile,shrink]{Example}{Minimal usage}
  \begin{lstlisting}
    # Create solver
    response = requests.get("http://my-clingo-server.de:8000/create")

    # Upload logic program / facts
    with open("queens.lp", "rb") as f:
        response = requests.post(
            "http://my-clingo-server.de:8000/add",
            data=f.read(),
            headers={"Content-Type": "text/plain; charset=utf-8 "},
        )

    # Initiate grounding
    response = requests.post(
        "http://my-clingo-server.de:8000/ground",
        data=io.StringIO('{"base": []}').read(),
        headers={"Content-Type": "application/json; charset=utf-8 "},
    )

    # Initiate solving
    response = requests.get("http://my-clingo-server.de:8000/solve")

    # Poll models
    response = requests.get("http://my-clingo-server.de:8000/model", timeout=1)

    if response.json() == "Running":
        print("No model yet ... ")
    if "Model" in response.json():
        model = response.json()["Model"]
        print("Model found:")
        print(bytes(model).decode("utf-8"))
    if response.json() == "Done":
        print("Search finished, no more models.")

    # Close solve handle
    response = requests.get("http://my-clingo-server.de:8000/close")
  \end{lstlisting}
\end{frame}

% ----------------------------------------------------------------------
%
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "../../main"
%%% End: