DTAI

hProlog is a high-performance Prolog system for experimental purposes.

hProlog Home Page

We present a new approach to termination analysis of numerical computations in logic programs. Traditional approaches fail to analyse them due to non well-foundedness of the integers. We present a technique that allows overcoming these difficulties. Our approach is based on transforming a program in a way that allows integrating and extending techniques originally developed for analysis of numerical computations in the framework of query-mapping pairs with the well-known framework of acceptability. Such an integration not only contributes to the understanding of termination behaviour of numerical computations, but also allows us to perform a correct analysis of such computations automatically, by extending previous work on a constraint-based approach to termination. Finally, we discuss possible extensions of the technique, including incorporating general term orderings.

• Termination analyser: [web.tar.gz]
• Type inference of Janssens and Bruynooghe used by our system: [aisys.tar.gz]

The K.U.Leuven CHR system is a competitive Constraint Handling Rules system for Prolog, consisting of a compiler and runtime. The system is currently available for hProlog, SWI-Prolog and XSB.

The K.U.Leuven CHR system

The K.U.Leuven JCHR System is a user-friendly, flexible and efficient integration of Constraint Handling Rules and Java.

The K.U.Leuven JCHR system