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