Non-terminal symbol TERM

rule(s)occurrences

Description

A TERM is one of:
Var
denoting a logical variable,
Con
denoting a constant as numbers, characters, strings, IRIs, etc., ...,
Expr
denoting an complex expression.

Defining rules for nonterminal symbol TERM:

TERM 'Var' 
Con 
Expr 

Occurrences of symbol TERM in body of other rules:

Atom TERM  '='  TERM 
TERM_plus TERM 
TERM_plus TERM_plus  TERM 

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