It should be possible to reset the execution engine after reasoning back to a state where no program is loaded, but the tables loaded from imports are kept around. If the new program happens to reuse one of these inputs, the old data should be reused instead of loading it again.
This could also be used by nemo-web to avoid downloading imports again.
See #780. Precursor to #735.
It should be possible to reset the execution engine after reasoning back to a state where no program is loaded, but the tables loaded from imports are kept around. If the new program happens to reuse one of these inputs, the old data should be reused instead of loading it again.
This could also be used by nemo-web to avoid downloading imports again.
See #780. Precursor to #735.