The overall objective of this project is the development of a method that allows for the systematic generation of a goal-directed proof procedure for a given logic. This sytematic method will provide a means to perspicuously formulate an inference system and a matching heuristics for a given logic L. Moreover, this method will be implemented in a metatheoretical framework that allows for a straightforward formulation of the soundness- and completeness proof between a logic L and its goal-directed proof procedure.