The following prototype software for analysis and transformation of logic programs is available.

- A collection of programs for transformation and analysis of logic programs (the SP system) which runs in SICStus Prolog.
- A tarfile including the SICStus Prolog source code for a regular approximation program (part of the SP system), including a short user manual.
- The SICStus Prolog source code for a program to compute the strongly connected components of the call graph of a logic program, using Tarjan's algorithm.
- The BU tools (bottom-up analysis of logic programs)
- The Polymorphic type inference tool.
- Finite tree automata determinisation.
- Dimensional transformations of Horn clauses.
- Interpreters related to big-step and small-step semantics.

John Gallagher, jpg@ruc.dk.