This is an archive of an inactive wiki and cannot be modified.

This section develops a RIF-BLD Rule Sublanguage by extending the RIF Condition Language, where conditions become rule bodies. RIF Phase I covers only Horn Rules and a number of extensions that do not increase the expressive power of the language. The envisioned RIF dialects will extend the RIF-BLD rule language by generalizing the positive RIF conditions and by other means.