|
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.