Starting from unification based on similarity, a logic programming system, called Likelog, (LIKEness in LOGic) is derived, thorougly relying on similarity. An operational semantics and a fix-point semantics are defined, using an extension principle for fuzzy operators. The two approaches are proved to be related and a fuzzy extension of the Ieast Herbrand model is given. One of the principal feature of such a logic programming system is to allow flexible information retrieval in deductive data bases.

ARCELLI FONTANA, F., Formato, F. (1999). Likelog: a logic programming language for flexible data retrieval. In 1999 ACM Symposium on Applied Computing (pp.260-267). New York : ACM Press [10.1145/298151.298348].

Likelog: a logic programming language for flexible data retrieval

ARCELLI FONTANA, FRANCESCA;
1999

Abstract

Starting from unification based on similarity, a logic programming system, called Likelog, (LIKEness in LOGic) is derived, thorougly relying on similarity. An operational semantics and a fix-point semantics are defined, using an extension principle for fuzzy operators. The two approaches are proved to be related and a fuzzy extension of the Ieast Herbrand model is given. One of the principal feature of such a logic programming system is to allow flexible information retrieval in deductive data bases.
paper
likelog, logic, programming, language, flexible, data, retrieval
English
ACM Symposium on Applied Computing
1999
1999 ACM Symposium on Applied Computing
1-58113-086-4
1999
260
267
none
ARCELLI FONTANA, F., Formato, F. (1999). Likelog: a logic programming language for flexible data retrieval. In 1999 ACM Symposium on Applied Computing (pp.260-267). New York : ACM Press [10.1145/298151.298348].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/37702
Citazioni
  • Scopus 35
  • ???jsp.display-item.citation.isi??? ND
Social impact