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

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

Abstract

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

Discussion

Conventions: