Non-terminal symbol TERM

rule(s)occurrences

Description

A TERM is one of:
Data
denoting a piece of data of some supported type such as numbers, characters, strings, IRIs, etc., ...,
Ind
denoting an individual object,
Var
denoting a logical variable,
Expr
denoting an complex expression.

Defining rules for nonterminal symbol TERM:

TERM 'Data' 
'Ind' 
'Var' 
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.