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