**Warning:**

This wiki has been archived and is now read-only.

# RIF FLD Dialects

From RIF

## 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-CASPD:
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-CLPWD:
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-URD:
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.