Title: Project report on LP+: a second generation Logic Programming language
Authors: De Schreye, Danny ×
Bruynooghe, Maurice
Demoen, Bart
Denecker, Marc
Janssens, Gerda
Martens, Bern #
Issue Date: 2000
Publisher: Ios press
Series Title: AI Communications vol:13 issue:1 pages:13-18
Abstract: 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.
ISSN: 0921-7126
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
Department of Teacher Training - UC Leuven
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
20187.pdf Published 155KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science