F-Limette -- An inference engine for
Fuzzy Metric Temporal Horn Logic


F-Limette 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, infix-Verlag, 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, F-Limette can be used to model and infer knowledge about fuzzy, time-varying discourses.

F-Limette 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, F-Limette was ported to i386-Linux by A. Ottlik and M. Arens.