Fril es un lenguaje de programación para el cálculo de predicados de primer orden. Trabaja con un subconjunto de la semántica del lenguaje Prolog pero no del estándar ISO-PROLOG, sino con la sintaxis de micro-PROLOG, un dialecto desarrollado a principios de la década de 1980, añadiéndole soporte para conjuntos difusos, lógica de apoyo y metaprogramación.