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.