Rule Atom_1

Atom 'Rel' '(' TERM_star ')' 

Description

An Atom represents an atomic formula using a prefixed 'Rel' predicate symbol with zero or more TERM arguments.

Its XML serialization form is: 

       <rcl:Rel>
         (XML serialization of TERM_star)
       </rcl:Rel>

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