  This paper is a contribution to the study of the universal Horn fragment of
predicate fuzzy logics, focusing on some relevant notions in logic programming.
We introduce the notion of term structure associated to a set of formulas in
the fuzzy context and we show the existence of free models in fuzzy universal
Horn classes. We prove that every equality-free consistent universal Horn fuzzy
theory has a Herbrand model.
