DTAI Projects
LP+ : a second generation Logic Programming Language
Period: 01-1998 → 12-2002
Subgroup: ml,krr,analysis
Type: project
Members:
- Hendrik Blockeel
- Maurice Bruynooghe
- Luc Dehaspe
- Luc De Raedt
- Kurt Driessens
- Jan Ramon
- Marc Denecker
- Gerda Janssens
- Danny De Schreye
- Bart Demoen
The main goals of this project are:
* to design, develop, efficiently implement and formally study a new, second generation logic programming language: LP+,
* to integrate into this language important techniques from non-monotonic reasoning, deductive databases and constraint programming,
* to complement the language with powerful program development tools, and
* to apply the developed language and tools to a number of realistic applications.
More explicitely, the language will integrate the following aspects:
* On the knowledge representation side: Representational support for open and incomplete knowledge domains, combined and integrated with normal logic programs. Elements of compositionality and first order logic constraints. Explicit support for temporal representation.
* On the problem solving side: Integrations of abductive and deductive reasoning. Constraint problem solving techniques. Elements of deductive database techniques, including integrity checking and knowledge revision.
* On the program development side: Control declaration languages for specifying reasoning strategies and for declaring glass-box type constraint solving. Support for mode, determinism and type declarations. Tools for automatic program analysis, specialisation and optimisation.
* On the implementation side: Integration of tabulation and loop detection techniques. Integration of advanced code-generation techniques.
* On the semantics side: Support for richer semantics of the well-founded (extended for open programs) type.
In addition, we aim to conduct extensive experiments with the developed language, tools and semantics on several realistic-sized applications in different areas, including: scheduling problems, fault-diagnosis in system management, protocol specification and knowledge revision in intelligent agents.
← return to the projects
