Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 J. Gallagher's software page
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)