This section documents the Prolog APIs for specifying, analysing and transforming models represented as logic factbases. According to the current evloution of the Java-specific JTransformer system to its language-independent successor, StarTransformer, the API is divided in two sections:

• JTransformer – API for working with Java programs only
• StarTransformer – Language independent API

The Java API of StarTransfomer/JTransformer is not documented here because it is relevant only to its developers. Users who want to quickly implement analyses and transformations for Java programs can do so entirely on the basis of the Prolog API.