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.
Tags are associated to your profile if you are logged in