Set-based program analysis
using CLP(SET)
Groundness analysis of logic
programs
This page contains information to load and run a simple Prolog program
('analyzer.pl') using {log}, whose aim
is to provide a simple tool for testing the set-based groundness analysis
technique for logic programs described here.
The analyzer uses the following files, which therefore must be loaded
in the same directory where the analyzer is:
-
'setlog.pl':
the {log} interpreter
-
'setloglib.slog':
the {log} libraries
-
'delta.slog': definitions of {log} predicates
used by the analyzer
-
'test_programs.txt': a collection
of simple Prolog programs to be analyzed, along with the relevant CLP(SET)
constraints which are tested by {log} to perform the groundness analysis.
To run the program:
-
download 'analyzer.pl' and all files listed above and store
them in the same directory;
-
run SICStus Prolog and issue the goal 'consult('analyzer.pl')';
-
issue the goal 'analyze(n)' where 'n' is the number of
the sample Prolog program in 'test_programs.txt' you want to analyze;
-
give the name P of the predicate and the number of the argument of
P you want to analyze, as requested by the analyzer.
Go to the {log}
Home page.