A Fuzzy Logic Programming Language

We present a new fuzzy logic programming Language, called LIKELOG, to be used for approximated reat;oning and for fuzzy deductive database applications. The core component of the system is the algori thm of unification, which expands the Martelli-Montanari unification algorithm introducing two similarity relations. The resolution mechanism is a straightforward application of this kind of expanded unification. Given such a fuzzy resolution ruLe we present a fuzzy logic programming system where computed answert; are suppLied wit.h a degree of derivation. The LIKELOG system is more flexible respect to the traditional information systerru;. LIKELOG retrieves answers that are "similar" to the user query. In LIKELOG the user can not only insert queries, hut can also introduce his/ her own relation of similarity, in order to obtain answers that, although approximate, meet hi::i/ her own particular preferenc!:'.:;.