The initial database

\label{code/D} For dealing with the special forms, that capture the functionality by which DLP extends Prolog, we need some simple term rewriting functions that convert symbolic terms to the entities to which these terms refer; moreover we need a function that embodies the special interpretation given to equality and assignment; and in addition we need a system database that evaluates the primitives involved in communication. Apart from the DLP specific functionality we have included arithmetic simplification and some primitives for compatibility with Prolog. .so D.i

Booting

A number of additional primitives are defined in the DLP object boot. .ds boot.pl