Re: FLD "required" vs "expected" to be used for all RIF logic dialects

> The whole purpose is to impose a standard on how logic extensions are going to> be defined. Otherwise, we will have open season for introducing all kinds of
> kludges. Note that the document says that, if necessary, FLD will be extended
> to accommodate other logic-based dialects. But this should be done with extra
> care and not on a whim.

notes from discussion -- something like:

    The WG plans to base future standard logic dialects on FLD, so any
    logic dialects being developed to become a stardard should either be
    specializations of FLD or justify deviating from (or extending) FLD.

        - s

Received on Wednesday, 28 May 2008 16:22:43 UTC