12.4 Limitations

Currently, the following limitations are recognised:

• Predicate naming
  Using the PREDICATE() macro, only predicates with a name that is valid as part of a C-symbol can be defined. Notably this makes the definition of predicates with names consisting of symbol characters impossible.
• Non-deterministic predicates
  The current interface does not provide for foreign-defined non-deterministic predicates. It would not be hard to add this.