prolog-modules

What problem does it solve?

Traditional Prolog environments use a global namespace which leads to predicate name collisions when multiple modules or libraries are loaded. This Skill explains how to design and use module declarations, import/export lists, and module visibility rules to keep code isolated and maintainable.

Core Features & Use Cases

• Understand ISO vs SWI module semantics and common pitfalls.
• Learn how to declare modules, export predicates, and selectively import from local files and libraries.
• Apply best practices to avoid collisions in larger Prolog codebases, such as using qualified calls and explicit exports.
• Use in educational contexts to teach module concepts and in production code to structure libraries.

Quick Start

Explain how to declare a module and export a predicate in SWI-Prolog.