Non-terminal symbol HornRule

rule(s)occurrences

Description

A Horn rule is a logical implication.

Defining rules for nonterminal symbol HornRule:

HornRule Implication 

Occurrences of symbol HornRule in body of other rules:

Rule HornRule 

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