The following features have been provided for the Jekejeke Minlog
module of version 0.8.5:
- Replace call/2 by is/2 so that partial functions throw an
- Replace call/2 by is/2 so that non-deterministic functions
don’t leave a choice point.
- Improved inference for neq/2 predicate now fully simulating
- Improved inference for neq/2 predicate compact representation
by module maps.