Software

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.