The SPEC (Specification Processing Environment with Controls) project is a logic programming environment currently being developed at Santa Clara University. We give a brief overview of the system to develop reliable, efficient, and maintainable logic programs. A specification language with high level language constructs and execution control facilities is described. The system supports the separation of declarative and control specifications, enabling one to generate different implementations of the declarative specification by changing the control strategy. The user's specification can be translated into a Prolog-like program that can be executed under an interpreter in our system, or compiled to a standard Prolog program. The specification language, program translation techniques, and an interpreter handles a number of control facilities are developed for the system and discussed in this paper.