Prolog Tools

Stratego -- Strategies for Program Transformation
The prolog-tools package provides basic support for processing Prolog programs. The package provides a syntax definition, pretty-printer, and signature for the language. Additionally an extension of Prolog with concrete syntax is provided.


There is no official release yet.

Daily Distribution

Download the latest succesful build in source or binary format (rpm):

These are guaranteed to build.

Latest Sources

Obtain the latest developments (may not build) directly from the Subversion repository.