We have a fast path to achieving the LPE implementation because of the prototype HOL/Nuprl system and because of on-going work in the evolution of the open Nuprl architecture. We have built a version of the Common Logical Library that has many of the features needed to keep track of the logical dependencies between theories. We also have a prototype implementation of the NL module system. Our plan is to build these elements into a Logical Programming Environment with the features discussed. In this Section we discuss some of the implementation issues, beginning with our experience establishing an initial HOL/Nuprl connection.