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:

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


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