forked from potassco/guide
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathgringo3.tex
29 lines (25 loc) · 860 Bytes
/
gringo3.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
\section{Differences to the Language of \gringo~3}\label{sec:gringo:tri}
This section is not yet ready for publishing
and will be included in one of the forthcoming editions of this guide.
Information on differences between the languages of \gringo~3 and~4 can be obtained here:
\begin{itemize}
\item \texttt{NOTES} in \gringo/\clingo\ distribution
\end{itemize}
\paragraph{Removed features}
\begin{itemize}
\item \code{\#hide} statements
\item \code{\#domain} statements
\item \code{\#compute} statements
\item aggregates
\begin{itemize}
\item multiset semantics
\item \code{\#avg} \index{aggregate!average, \code{\#avg}}
\item \code{\#even}/\code{\#odd}
\index{aggregate!odd, \code{\#odd}}
\index{aggregate!even, \code{\#even}}
\end{itemize}
\end{itemize}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "guide"
%%% End: