o_) is appended
to predicates and compound terms that either begin with an
underscore (legal in ASP but not Prolog) or with a reserved prefix.
It will be removed last before printing, and at most one copy will
be removed, ensuring that user-defined predicates starting with a
reserved prefix won't be processed the same as internally created
ones.
| Prefix | - The letter portion of the prefix. |