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++.
Click here to download a copy of Fril (NB this is no longer maintained).
You must read and agree to the licensing conditions before downloading Fril or any of its associated packages.
There is an online version of the Fril built-in predicate documentation here
Latent Process Decomposition of cDNA Microarray Datasets