High-Level Logic Programming

摘要

We introduce the paradigm of High-Level Logic Programming. This paradigm is the consolidation of our recent results on disjunctions, sets, partial-order clauses and aggregation. We show how these concepts are integrated in a natural way into the standard logic programming framework. For this purpose, we present several well known examples from the literature that support this claim. Our approach to define the declarative semantics of HLL (High-Level Logic) programs consists on a translation of them to datalog disjunctive programs and then to use D1-WFS-COMP.