PROLogic: A FUZZY TEMPORAL CONSTRAINT PROLOG

Abstract

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. AMS Subject Classification: 03B44, 03B52, 03B70, 68N17, 97P40, 97R40, 68T15, 68T37, 68T35