Fril

Fril is a <a href="/facts/Programming_language/cWTYbgWa">programming language</a> for <a href="/facts/First-order_predicate_calculus/lcISqWIg">first-order predicate calculus</a>. It includes the <a href="/facts/Semantics/1L4WwLAP">semantics</a> of <a href="/facts/Prolog/r5h66Qh1">Prolog</a> as a subset, but takes its <a href="/facts/Syntax/6PxSV98p">syntax</a> from the micro-PROLOG [es] of <a href="/facts/Logic_Programming_Associates/Axu9QT3A">Logic Programming Associates</a> and adds support for <a href="/facts/Fuzzy_set/BGWudHJq">fuzzy sets</a>, <a href="/facts/Probabilistic_logic/4MIPxPIJ">support logic</a>, and <a href="/facts/Metaprogramming/ujbjjJTY">metaprogramming</a>.
Fril was originally developed by Trevor Martin and Jim Baldwin at the <a href="/facts/University_of_Bristol/naU7Gvlc">University of Bristol</a> around 1980. In 1986, it was picked up and further developed by Equipu A.I. Research, which later became Fril Systems Ltd. The name Fril was originally an acronym for Fuzzy Relational Inference Language.

Fril open-in-new

Fril