FRIL - the Fuzzy Relational Inference Language

Fril is an uncertainty logic programming language which includes Prolog as a subset of the language, but which also allows probabilistic uncertainties and fuzzy sets to be included. This generalisation of logic programming provides a powerful and flexible environment for modelling and implementing Artificial Intelligence applications, and extends the semantics of Prolog by embodying open worlds and true logic negation. A different list-based syntax is used from the standard "Edinburgh" syntax of Prolog. Fril has recently been extended to represent and reason with uncertain logical class hierarchies leading to the new programming language Fril++.