next up previous
Next: Controlling the Control Up: Pragmatics Previous: Pragmatics

Complex Constraints



\begin{eqnarraystar}nz(X) & \leftarrow & X > 0. \\
nz(X) & \leftarrow & X < 0.
\end{eqnarraystar}








\begin{eqnarraystar}nz(X) & \leftarrow & X < 0 \vee X > 0.
\end{eqnarraystar}








Last modification: Thu Oct 7 12:04:03 MEST 1999 <webmaster@clip.dia.fi.upm.es>