FLimette is an inference engine for Fuzzy Metric Temporal Horn Logic (FMTHL) developed by K.H.Schäfer in 1996.
(see: K.H.Schäfer: Unscharfe zeitlogische Modellierung von Situationen und Handlungen in Bildfolgenauswertung und Robotik,
DISKI 135, infixVerlag, 1996, in German).
FMTHL looks and works very similar to prolog, with two main and important
differences:
FMTHL directly incorporates time, metrics on time, and fuzzy measures.
Thus, FLimette can be used to model and infer knowledge about fuzzy, timevarying discourses.
FLimette was originally written in C/C++ on SUN Solaris by K.H. Schäfer.
The original program was modified by W. Theilmann and K. Mück.
In 2002, FLimette was ported to i386Linux by A. Ottlik and M. Arens.
