future.tex

\section{Future Work}\label{sec:future}

We conclude this guide with a brief outlook on the future development
of \gringo~\cite{gescth07a}, \clasp~\cite{gekasc09c}, and \clingo~\cite{gekakasc14b,gekakaosscwa16a}.
An important goal of future releases will be improving usability
by adding functionalities that make some errors and warnings obsolete.
In particular, we consider adding support for arbitrary positive loops
as well as language constructs that allow for redefining atoms in incremental logic programs.
Aggregates in \clasp\ that are involved in non-HCF components are currently compiled into normal rules,
adding support for native treatment of such aggregates is an interesting topic.
Systems like \clingcon~\cite{geossc09a,ostsch12a} support multi-valued variables and constraints that cannot be encoded efficiently in plain ASP in a straightforward manner.
This will be addressed in the near future by including constraint processing capacities into grounding as well as solving.
The \asprin\ system~\cite{brderosc15a} supports complex preferences that go beyond simple cardinality or subset minimization.
We are planning to extend the input language of \gringo\ to be able to express general aggregate-like language constructs,
which allow for representing the multitude of constraints available in Constraint Programming~\cite{CPHandbook} 
as well as complex preferences, as treated by \asprin.
For the representation of ground programs,
we are working on a new intermediate language format to fix some shortcomings of the \smodels\ format
and also to represent general language constructs.

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "guide"
%%% End: