Early attempt at a rule language for the Semantic Web. Known to be undecidable.
Apparently defunct, superceded by RIF, which is an interchange format and less semantically opinionated.