Experiments for integration CLP and abduction
Marc Denecker, Bert Van Nuffelen · Lirias · 1999
The goal of the LP+ project at the K.U.Leuven is to design an expressive logic, suitable for declarative knowledge representation, and to develop intelligent systems based on Logic Programming technology for solving computational problems using the declarative specifications. The ID-logic logic is an integration of typed classical logic and a definition logic. Different abductive solvers for this language are being developed. This paper is a report of some preliminary computational experiments with an integration of the abductive reasoner SLDNFA and CLP-systems.