SWI-Prolog中模块化扩展core模块knowledge谓词的规范方法

1. 核心模块（core.pl）的规范写法 #

在核心模块中，将knowledge/1声明为多文件谓词（multifile），仅导出对外提供功能的query/2，避免knowledge/1被外部直接调用：

:- module(core, [query/2]).

:- multifile knowledge/1.  % 声明为多文件谓词，允许其他模块添加事实

% query/2核心逻辑：匹配knowledge规则，将输出变量与结果合一
query(Query, Result) :-
    knowledge(Query -> Result).

2. 扩展模块（如supermarket.pl）的写法 #

扩展模块通过use_module/1导入核心模块，再用import/1将core:knowledge/1导入当前模块命名空间，添加事实时无需加core:前缀：

:- module(supermarket, []).  % 不导出任何谓词，仅做扩展用

:- use_module(core).
:- import(core:knowledge/1).  % 把核心模块的knowledge/1导入当前模块

% 直接添加knowledge事实，无需前缀
knowledge(gimme_a_fruit -> apple).
knowledge(gimme_a_snack -> chip).

3. 主程序加载与测试 #

主程序只需加载核心模块和所有扩展模块，query/2会自动整合所有模块的knowledge事实：

:- use_module(core).
:- use_module(supermarket).
% 可按需添加更多扩展模块，比如farm.pl、bakery.pl等

test :-
    query(gimme_a_fruit, X), writeln(X),  % 输出apple
    query(gimme_a_snack, Y), writeln(Y).  % 输出chip

4. 方案优势 #

• 规避include/1的问题：include/1是直接插入文件内容，破坏模块化边界；use_module/1+import/1能保持模块独立性。
• 无需重复前缀：通过import将核心模块的knowledge/1导入扩展模块命名空间，书写更简洁。
• 符合SWI-Prolog规范：multifile是官方推荐的跨模块扩展谓词的方式，兼顾模块化与易用性。

简化替代方案 #

如果不介意knowledge/1被外部直接访问，可在核心模块中导出该谓词，扩展模块使用use_module(core)时会自动导入，无需额外import：

% core.pl修改为导出knowledge/1
:- module(core, [query/2, knowledge/1]).
:- multifile knowledge/1.

% 扩展模块无需import，直接添加事实
:- module(supermarket, []).
:- use_module(core).
knowledge(gimme_a_drink -> cola).

内容的提问来源于stack exchange，提问作者Alphasaft