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