154
154
<P>These calls create a module called `world_a' and make the call
155
155
`world_a:consistent' succeed. Undefined predicates will not start the
158
158
<P>Import and export from dynamically created world is arranged via the
163
163
?- world_b:export(solve(_,_)). % exports solve/2 from world_b