RIF FLD Dialects
RIF Dialects Defined as Specializations of the RIF Framework for Logic Dialects (RIF-FLD)
Apart from RIF BLD, the following dialects have been defined as specializations of RIF-FLD:
RIF Core Answer Set Programming Dialect
This dialect corresponds to logic programming with disjunctive heads and default negation under the stable model semantics. No function symbols or equality.
RIF Core Logic Programming Dialect Based on the Well-founded Semantics
This dialect corresponds to logic programming with default negation under the well-founded semantics. It does not support equality in the rule heads.
RIF Uncertainty Rule Dialect
This dialect specializes the definition of the set of truth values from RIF-FLD to the interval [0,1]. It also specializes its notion of truth valuation.