-
A Transformation-based Implementation for CLP with Qualification and Proximity
Abstract: Uncertainty in logic programming has been widely investigated in the last decades, leading to multiple extensions of the classical LP paradigm. However, few of these are designed as extensions of the well-established and powerful CLP scheme for Constraint Logic Programming. In a previous work we have proposed the SQCLP ({\em proximity-based qualified constraint logic programming}) scheme as a quit… ▽ More
Submitted 25 January, 2012; originally announced January 2012.
Comments: To appear in Theory and Practice of Logic Programming (TPLP). arXiv admin note: significant text overlap with arXiv:1009.1976
Report number: 12-R01-TPLP
-
arXiv:1101.2146 [pdf, ps, other]
A Generic Scheme for Qualified Constraint Functional Logic Progamming
Abstract: Qualification has been recently introduced as a generalization of uncertainty in the field of Logic Programming. In this report we investigate a more expressive language for First-Order Functional Logic Programming with Constraints and Qualification. We present a Rewriting Logic which characterizes the intended semantics of programs, and a prototype implementation based on a semantically correct p… ▽ More
Submitted 11 January, 2011; originally announced January 2011.
Comments: 36 pages, 5 figures, extended version with full proofs of Qualified Computations in Functional Logic Programming, in P.M. Hill and D.S. Warren (Eds.), ICLP 2009, LNCS 5649, pp. 449-463, 2009
Report number: SIC-1-09
-
Fixpoint & Proof-theoretic Semantics for CLP with Qualification and Proximity
Abstract: Uncertainty in Logic Programming has been investigated during the last decades, dealing with various extensions of the classical LP paradigm and different applications. Existing proposals rely on different approaches, such as clause annotations based on uncertain truth values, qualification values as a generalization of uncertain truth values, and unification based on proximity relations. On the o… ▽ More
Submitted 14 January, 2011; v1 submitted 10 September, 2010; originally announced September 2010.
Comments: 47 pages, 2 figures, extended version with full proofs of A Declarative Semantics for CLP with Qualification and Proximity (arXiv:1007.3629). Theory and Practice of Logic Programming, 26th Int'l. Conference on Logic Programming (ICLP'10) Special Issue, 10(4-6):627-642, 2010. Revised definition 2.10, theorem 2.1 & proposition 2.2, results unchanged
Report number: SIC-1-10
-
A Transformation-based Implementation for CLP with Qualification and Proximity
Abstract: Uncertainty in logic programming has been widely investigated in the last decades, leading to multiple extensions of the classical LP paradigm. However, few of these are designed as extensions of the well-established and powerful CLP scheme for Constraint Logic Programming. In a previous work we have proposed the SQCLP (proximity-based qualified constraint logic programming) scheme as a quite expr… ▽ More
Submitted 10 September, 2010; originally announced September 2010.
Comments: 49 pages, 5 figures, 1 table, preliminary version of an article of the same title, published as Technical Report SIC-4-10, Universidad Complutense, Departamento de Sistemas Informáticos y Computación, Madrid, Spain
Report number: SIC-4-10
-
arXiv:1008.3867 [pdf, ps, other]
Similarity-based Reasoning in Qualified Logic Programming
Abstract: Similarity-based Logic Programming (briefly, SLP ) has been proposed to enhance the LP paradigm with a kind of approximate reasoning which supports flexible information retrieval applications. This approach uses a fuzzy similarity relation R between symbols in the program's signature, while kee** the syntax for program clauses as in classical LP. Another recent proposal is the QLP(D) scheme for… ▽ More
Submitted 23 August, 2010; originally announced August 2010.
Comments: 10 pages, 2 figures, revised edition of Similarity-based Reasoning in Qualified Logic Programming, in PPDP '08: Proceedings of the 10th international ACM SIGPLAN conference on Principles and Practice of Declarative Programming. ACM, Valencia, Spain, 185-194. 2008
-
arXiv:1008.3863 [pdf, ps, other]
A Generic Scheme for Qualified Logic Programming
Abstract: Uncertainty in Logic Programming has been investigated since about 25 years, publishing papers dealing with various approaches to semantics and different applications. This report is intended as a first step towards the investigation of qualified computations in Constraint Functional Logic Programming, including uncertain computations as a particular case. We revise an early proposal, namely van E… ▽ More
Submitted 23 August, 2010; originally announced August 2010.
Comments: 23 pages, extended version with full proofs of Quantitative Logic Programming Revisited, in J. Garrigue and M. Hermenegildo (Eds.), FLOPS 2008, LNCS 4989, pp. 272-288, 2008. Springer-Verlag Berlin Heidelberg 2008
Report number: SIC-1-08
-
arXiv:1007.3629 [pdf, ps, other]
A Declarative Semantics for CLP with Qualification and Proximity
Abstract: Uncertainty in Logic Programming has been investigated during the last decades, dealing with various extensions of the classical LP paradigm and different applications. Existing proposals rely on different approaches, such as clause annotations based on uncertain truth values, qualification values as a generalization of uncertain truth values, and unification based on proximity relations. On the o… ▽ More
Submitted 21 July, 2010; originally announced July 2010.
Comments: 17 pages, 26th Int'l. Conference on Logic Programming (ICLP'10)
Journal ref: Theory and Practice of Logic Programming, 26th Int'l. Conference on Logic Programming (ICLP'10) Special Issue, 10(4-6):627-642, 2010
-
arXiv:cs/0404053 [pdf, ps, other]
Constraint Logic Programming with Hereditary Harrop Formula
Abstract: 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… ▽ More
Submitted 26 April, 2004; originally announced April 2004.
Comments: Appeared in Theory and Practice of Logic Programming, vol. 1, no. 4, 2001. Appeared in Theory and Practice of Logic Programming, vol. 1, no. 4, 2001
ACM Class: D.1.6; D.3.2
-
arXiv:cs/0404050 [pdf, ps, other]
A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types
Abstract: We propose a general framework for first-order functional logic programming, supporting lazy functions, non-determinism and polymorphic datatypes whose data constructors obey a set C of equational axioms. On top of a given C, we specify a program as a set R of C-based conditional rewriting rules for defined functions. We argue that equational logic does not supply the proper semantics for such p… ▽ More
Submitted 24 April, 2004; originally announced April 2004.
Comments: Appeared in Theory and Practice of Logic Programming, vol. 1, no. 2, 2001
ACM Class: D.1.6; D.3.2
Journal ref: Theory and Practice of Logic Programming, vol. 1, no. 2, 2001