YAP 7.1.0
The Module System versus the meta-call.
predicate