\b{tabular}[t]{|r||l|p{6.5cm}|} \hline \multicolumn{3}{|c|}{ {M DLP0 = Prolog + non-logical variables M} } \\ \hline \hline \xstrut non-logical variables & v := t & assigns the term t to the non-logical variable v \\ \hline \e{tabular}