Nonterminals
Atom
BODY
Con
CONDIT
CONDIT_plus
CONDIT_star
CONJ
Data
DISJ
Expr
HEAD
HornRule
HRL
Implication
Ind
LITFORM
QUANTIF
ROOT
Rule
RuleSet
TERM
TERM_plus
TERM_star
Var_plus
Copyright © 2006
ILOG, Inc.
; All Rights Reserved.