Selected research

Disclaimer: The information of this page is a bit old. For more recent papers I suggest to visit the corresponding Babel group page (

Integration of Functional and Logic Programming (BABEL/CURRY project)

These papers represent some work about the design, expressive power and implementation of (narrowing based) equational languages.

 There is also a list of papers with abstracts

The SLAM project (the SLAM specification language, specification and visualization of the WAM, the Friendly-WAM)

Negation and Inheritance in Logic Programming