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)