Prolog API of JTransformer and StarTransformer

Please make yourself familiar with the Notation before reading any part of the API documentation!

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:

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.

Last modified: 2017/08/29 14:08