En 1986, pasó a manos del Equipu AI Research, que más tarde se convirtió en Fril Systems Ltd., que se encargó de la implementación y desarrollo de las versiones actuales del lenguaje.
", en Fril, el tipo compuesto es la propia lista, lo que constituye la base para la mayoría de las construcciones.
Como en Prolog, el carácter "_" está reservado para significar "ningún valor", lo que se traduce en que puede haber múltiples apariciones de "_" sustituyendo a diferentes variables indistintamente.
Una regla es una lista que consiste en una conclusión seguida de la hipótesis (objetivos).
Una relación está escrita, literalmente, como una lista compuesta por el nombre del predicado seguido por una o varias tuplas de la relación (todos los argumentos de un hecho equivalente, sin el nombre del predicado).