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
) 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.
(bottom-up analysis of logic programs)
Polymorphic type inference
Finite tree automata determinisation
Dimensional transformations of Horn clauses