Project report on LP + : a second generation logic programming language
Danny De Schreye, Maurice Bruynooghe, Bart Demoen, Marc Denecker, Gerda Janssens, Bern Martens · Lirias · 2000
We present a recently started research project. The goal of the project is to integrate into one system a number of techniques, execution mechanisms and development tools that were designed in various areas in Logic Programming in the past. Main components are: a strong support for (declarative) knowledge representation, including aspects of incomplete knowledge, first order logic constraints and definitional knowledge; integration of different computational mechanisms, including resolution, abduction, tabling and constraint solving; integration within the development environment of semantics-based development tools, including (source-level) optimization, abstract interpretation based analysis and termination analysis.