Cardenas Viedma, María Antonia.; Ingeniería de la Información y las Comunicaciones
FTCProlog is a language similar to Prolog but with the ability to handle fuzzy temporal
constraints between variables. It is based on the first-order logic FTCLogic. FTCProlog is implemented in Haskell and corresponds to the second version of the application PROLogic. It is
available at https://github.com/mariantocv/FTCProlog.
