natural side-project is directed toward improving the economy
of effort by unifying a selection of tools being used in these
two fields.  My instrumental focus is placed on integrating the
methods of differential geometry with the techniques of logic
programming.  I will attempt to embody this project in the form
of computer-implemented connections between geometric dynamics
and logical AI, and I will measure its success by the extent
and usefulness of this realization.

Description of Current and Proposed 