- source_exports(+Source, +Export) is semidet
- source_exports(+Source, -Export) is nondet
- True if Source exports Export. Fails without error if this is
not the case. See also exists_source/1.
- To be done
- - Should we also allow for
source_exports(-Source, +Export)
?