\b{table}[hp]\caption{}\label{des/dlp:DLP}
\b{tabular}[t]{|r||l|p{4.5cm}|} \hline
\multicolumn{3}{|c|}{ DLP - an overview }
\\ \hline \hline
non-logical variables & & assigns the term t to
the non-logical variable v
\\ \hline \hline
object creation & & creates a passive instance of object c
\\ \cline{3-3}
& & creates an active instance of object c
\\ \cline{2-3}
allocation & & creates a passive instance of object c
allocated at node N
\\ \cline{3-3}
& & creates an active instance of object c,
allocated at node N
\\ \hline \hline
channels & & creates a new channel
\\ \cline{2-3}
& & output statement for term t over channel C
\\ & & input statement for term t over channel C
\\ \hline \hline
process creation & & requests the evaluation of G by the object
to which O refers
\\ \cline{2-3}
resumptions & & requests the results of a remote goal evaluation
\\ \cline{2-3}
synchronisation & & accepts any call satisfying
an accept expression
\\ \hline
\nop{
\multicolumn{2}{|c|}{ Abbreviations } & Definition
\\ \hline \hline
and-parallel operator & & A & B :- Q = self!A, B, Q?. \\
synchronous rendez-vous & & O!G :- Q = O!G, Q?. \\
allocating goals & & G@N :- O = new(self@N), O!G.
\\ \hline
}
\e{tabular}
\nop{
{\small The system predicate isobj
tests whether the argument is (bound to) an object.
The predicate symbolic succeeds when its argument does not
refer to an object, a process, a channel or a non-logical variable. }
}
\e{table}