Generating Types is Better Than Programming Them

Many frameworks have been proposed for deriving specific runtime properties, but there is still a lack of knowledge about how they all fit together. To fill this gap, we discuss various kinds of type information and the relations between them, and sketch a method for obtaining the required information. This method is used as part of an system for automatic translation of Prolog programs into strongly typed languages such as PROTOS-L or G odel. 1 Introduction By deriving details about the types and modes of logic programs, it is possible to obtain useful information about such programs. This information can be used for various purposes, e.g.: ffl optimization of Prolog programs, ffl debugging support, ffl automatic translation of Prolog programs into typed languages, ffl automatic generation of types for typed languages. In [7], we demonstrated how to use derived types for debugging. By extending this approach, we are able to facilitate and automate the translation process of Prolo..