José A. Riaza has completed his masters thesis, "Tuning of fuzzy logic programs through satisfiability modulo theories". The work was done atop SWI-Prolog.

The thesis is available online here.

The FLOPER system used in the thesis is available at http://edu.swi-prolog.org:55555/