说明: 本文档是关于 RuleML 1.0 的入门(Rule Markup Language,他也是一种规则建模语言 Rule Modeling Language 或叫做 规则元逻辑 Rule MetaLogic)。RuleML 被用于在 web 上共享和 发布基于 XML 的规则。 RuleML 构成一个分层的规则子语言(rule sublanguages)家族, 本入门的焦点主要集中在 Datalog 和 Horn logic。这些子语言的 XML 可以通过 OrdLab trees 可视化的呈现
<seamenow> 在 上传 | 大小:772096