Analyzing and Visualising Prolog programs based on XML representations

We have developed a PROLOG package VISUR/RAR for reasoning about various types of source code, such as PROLOG rules, JAVA programs, and XSLT stylesheets. RAR provides techniques for analyzing and improving the design of PROLOG programs, and it allows for implementing software engineering metrics and refactoring techniques based on XML representations of the investigated code. The obtained results are visualized by graphs and tables using the component VISUR. VISUR/RAR can significantly improve the development cycle of logic programming applications, and it facilitates the implementation of techniques for syntactically analyzing and visualizing source code. In this paper we have investigated the dependency structure between the different rules and the hierarchical structure of P ROLOG software systems, as well as the internal structure of individual predicate definitions. For obtaining efficiency and for representing complex deduction tasks we have used techniques from deductive database and non–monotonic reasoning.