Prolog module wrapper re-export behavior across implementations
The goal is to establish a clear, repeatable rule for whether a Prolog module that imports predicates from another module and then uses an unqualified export/1 clause should implicitly make those imported predicates available to downstream modules. Current implementations diverge: SWI‑Prolog treats export(_) as a blanket re‑export of all imported predicates,
prolog