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.

Distribution

The package has not been released officially. The following is a tarball of the head revision:

  • StrategoXT-trunk-prolog-tools.tar.bz2?

You can also browse the source in the Subversion repository

Documentation