Guarded Rules

From RuleML Wiki
Jump to: navigation, search
--WikiSysop (talk) 08:17, 10 May 2014 (ADT)

1 Issue Description

Guarded rules could be implemented with a new guard (or some other name, to avoid conflict with Reaction RuleML's guard) edge in Implies, that replaces the bound variable list of the universal.

2 Options

2.1 Option 1

2.2 Option 2

3 Discussion

4 Resolution

4.1 Relax NG Modules

4.2 Relax NG Drivers

4.3 MYNG Engine

4.4 MYNG GUI

4.5 XSDs

4.6 Unit Tests

4.7 XSLTs

5 References