HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Similarity-based Unification Embedded into Narrowing

Abstract : Likelog is a fuzzy–logic language with a Prolog-like syntax augmented with similarity equations (modeling the fuzzy component of the language) and with an operational semantics based on resolution where the classical syntactic unification algorithm of pure logic programming has been replaced by a similarity-based unification method. On the other hand, Curry is a functional–logic language with a Haskell-like syntax and an operational principle based on (needed) narrowing, that is, a combination of syntactic unification and rewriting. In this paper we propose a new similarity-based unification method which empowers the original one used in Likelog by also taking into account functional features like laziness. This calculus is specially well suited for being embedded into the kernel of the original needed narrowing strategy of Curry in a very natural way, also verifying nice formal properties such as termination, crispness (i.e., it computes at least the same elements of the crisp case) and fuzzyness (i.e., similarities collected in a given program are exploited as much as possible). Our final goal is to achieve the complete integration of the (also integrated) declarative paradigms of functional– logic and fuzzy–logic programming, in order to obtain a richer and much more expressive programming scheme where mathematical functions cohabit with fuzzy logic features.
Document type :
Conference papers
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download

Contributor : Evelyne Contejean Connect in order to contact the contributor
Submitted on : Tuesday, October 2, 2007 - 11:21:01 AM
Last modification on : Monday, February 18, 2019 - 1:12:30 PM
Long-term archiving on: : Thursday, September 27, 2012 - 12:32:31 PM


Files produced by the author(s)


  • HAL Id : inria-00176049, version 1



Ginés Moreno, Vicente Pascual. Similarity-based Unification Embedded into Narrowing. UNIF07, 2007, Paris, France. ⟨inria-00176049⟩



Record views


Files downloads