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.
In developing this new system, we hope to contribute to an effort of semi‐automating (part of) the software development process. We plan to experiment with a number of applications to test the system. Main applications in focus are in temporal reasoning, planning and scheduling, and machine learning.
Get full access to this article
View all access options for this article.