The Web Rule Language (WRL) is a rule-based ontology language for the Semantic Web. The language is characterized by formal semantics.
This programming-language-related article is a stub. You can help Wikipedia by expanding it.