PRESS4KPI is a Prolog library which extends PRESS (PRolog Equation Solving System) with predicates dealing with consistency check and dependency analysis for a library of formulas of performance indicators.
PRESS source code is available at http://dream.inf.ed.ac.uk/software/press/
The code has been tested on XSB, a Logic Programming and Deductive Database system (http://xsb.sourceforge.net/).