module
Entry points · Kotlin object ModuleCallsModule · library prolog.argumentation.modularity
Goals solved on the theories of external modules (module module): Prolog files, found in the modules path (flag
modulesPath) by their name, or at a location.
- Flags:
modulesPath(see Flags)
| Predicate | Description |
|---|---|
call_module/2 | Goal solved on the theories of Modules alone, loaded in their order |
call_module/2
call_module(+Modules, +Goal)Native primitive.
Goal solved on the theories of Modules alone, loaded in their order. Each module is the name of a file in the modules path (flag modulesPath), or a location, a URL or a path with .pl. An error raised within the modules is raised by the call.