The section shows typical interpreter interactions for loading
modules. Jekejeke Prolog fea-tures an intelligent loader based on
a dependency model. Further there is a module system in place
which provides name spaces and protection.
- Ensure Loaded: Ensure
loaded is recommended to load modules and Prolog texts from
within a Prolog text or from within the top level. More...
- Make: The intelligent
loader is capable to automatically update changed modules and
Prolog texts. This allows the integration with development
- Unload File: Loaded modules and Prolog texts can be
disconnected and a kind of garbage collection will reclaim all
unused modules and Prolog texts. More...
- Compatibility Matrix: We compare our
approach to some existing Prolog systems that provide
intelligent loaders and module systems. More...