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

This is the root for the RIF BLD document. The official document is extracted from the Wiki, starting at this page, by wiki-tr. Direct link: Dynamically (slowly) generated W3C-styled version

RIF Basic Logic Dialect

Harold Boley (National Research Council Canada)
Michael Kifer (State University of New York at Stony Brook)
Publication Date
Request For Comments
Comments Due By
Document Class Code
This Version
Previous Version
Latest Version


This document, developed by the Rule Interchange Format (RIF) Working Group, specifies a basic format that allows logic rules to be exchanged between rule-based systems.

The Appendix: List of Builtins is currently kept as an external link.

Table Of Contents

  1. Overview

  2. RIF-BLD Syntax

  3. RIF-BLD Semantics

  4. References

  5. Appendix: Specification