Browsing by Subject "Constrainst logic programming"

Now showing 1 - 1 of 1
  • Thumbnail Image
    Publication
    Open Access
    PROLogic: a fuzzy temporal constraint prolog
    (Academic Publications, 2019) Cárdenas Viedma, María Antonia; Galindo Navarro, F. M.; Ingeniería de la Información y las Comunicaciones
    In this paper we present PROLogic, a logic programming language based on a formal first-order fuzzy temporal logic: FTCLogic. FTCLogic integrates the advantages of a formal system (a first-order logic based on Possibilistic Logic) and an efficient mechanism with which to reason about time: the Fuzzy Temporal Constraints Networks or FTCN. PROLogic, therefore, is a Fuzzy Temporal PROLOG, which is implemented in Haskell.