Constraint Logic Programming with Hereditary Harrop formulas
نویسندگان
چکیده
منابع مشابه
Constraint Logic Programming with Hereditary Harrop Formula
Constraint Logic Programming (CLP) and Hereditary Harrop Formulas (HH )are two well known ways to enhance the expressivity of Horn clauses. In this paper, we present a novel combination of these two approaches. We show how to enrich the syntax and proof theory of HH with the help of a given constraint system, in such a way that the key property of HH as a logic programming language (namely, the...
متن کاملA Semantics for Logic Programs Based on Hereditary Harrop Formulas
We present a semantic framework for logic programs based on first-order hereditary Harrop formulas. The denotational and operational semantics are defined in a uniform way by characterizing some basic algebraic operators, which are directly related to the syntactic structure of the language. This allows us to address problems such as the relation between the operational semantics and the denota...
متن کاملOn hereditary Harrop formulae as a basis for logic programming
This thesis examines the use of first-order hereditary Harrop formulae, a generalisation of Horn clauses due to Miller, as a foundation for logic programming. As this framework is constructive, this will sometimes dictate an approach whicli differs slightly from the traditional (classical) one. We discuss the foundational problems involved in adding negation to the framework of first-order here...
متن کاملFormalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation
In this paper, we present an extension of the scheme HH(C) (Hereditary Harrop formulas with Constraints) with a suitable formulation of negation in order to obtain a constraint deductive database query language. In addition to constraints, our proposal includes logical connectives (implication and quantifiers) for defining databases and queries, which altogether are unavailable in current datab...
متن کاملTowards a Constraint Deductive Database Language based on Hereditary Harrop Formulas
In the same way that Datalog and Datalog with constraints arise when modelling databases inspired on Prolog and CLP (Constraint Logic Programming), respectively, we introduce the constraint logic programming scheme HH(C) (Hereditary Harrop formulas with Constraints) as the basis for a database language. We show that HH(C) can fulfill all relational algebra operations but set difference, so that...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory and Practice of Logic Programming
سال: 2001
ISSN: 1471-0684,1475-3081
DOI: 10.1017/s1471068401001041