\b{tabular}[t]{|r||l|p{7.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 O
to which O refers
\\ \cline{2-3}
resumptions & & requests the results of a remote goal evaluation
\\ \cline{2-3}
synchronisation & & accept methods
\\ \hline \hline
\multicolumn{2}{|c|}{ Abbreviations } & Definition
\\ \hline \hline
and-parallel operator & & A & B :- Q = self!A, B, Q?. \\
synchronous rendez-vous & & O!G :- ismod(O),!, Q = O!G, Q?. \\
allocating goals & & G@N :- symbolic(G), O = new(self@N), O!G.
\\ \hline
\e{tabular}