Non-terminal symbol Rule

rule(s)occurrences

Description

A Horn rule is a kind of rule.

Defining rules for nonterminal symbol Rule:

Rule HornRule 

Occurrences of symbol Rule in body of other rules:

RuleSet Rule 
RuleSet RuleSet  Rule 

Copyright © 2006 ILOG, Inc.; All Rights Reserved.