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.

Download

There is no official release yet.

Daily Distribution

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

Additional package download

These are guaranteed to build.

Latest Sources

Obtain the latest developments (may not build) directly from the Subversion repository. 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

https://svn.strategoxt.org/repos/StrategoXT/trunk/prolog-tools/

Documentation

Paper: Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax

How to set up a Stratego package explains how the package is constructed