Prolog中如何将列表定义为类原子快捷方式避免重复传参？

实现方案 #

你要的类似原子快捷方式的需求完全可以实现，以下是几种符合Prolog范式的实现方式：

方案1：常量事实定义（最推荐，无额外依赖，符合声明式逻辑） #

直接用事实存储快捷原子和对应列表的映射，使用时先取出绑定变量即可：

1. 先定义映射事实：

% 格式：[快捷原子名]([对应列表])
test([[1, a, b, c, 234],d]).

2. 调用时直接取值传参：

?- test(P), pred2(P, L).
% 输出：L = d

如果要实现你说的直接传入原子test调用pred2(test, L)的效果，只要给pred2加一层适配逻辑即可：

% 适配逻辑：优先识别快捷原子
pred2(Input, L) :-
    % 若输入是定义好的快捷原子，取出对应列表
    ( call(Input, P) -> true ; P = Input ),
    nth1(2, P, L).

修改后直接执行查询即可得到结果：

?- pred2(test, L).
% 输出：L = d

方案2：统一管理多快捷方式 #

如果有多个需要定义的快捷常量，可以统一用映射事实存储，更易维护：

% 统一存储所有快捷映射
shortcut(test, [[1, a, b, c, 234],d]).
shortcut(my_list, [x, y, z, 123]).
% 可继续添加更多映射

% 适配后的pred2
pred2(Input, L) :-
    ( shortcut(Input, P) -> true ; P = Input ),
    nth1(2, P, L).

方案3：全局变量（适用于值可变的场景） #

如果你需要的是可修改的全局存储，可以使用Prolog的非回溯全局变量：

% 初始化（仅需执行一次）
?- nb_setval(test, [[1, a, b, c, 234],d]).

% 调用时取值
?- nb_getval(test, P), pred2(P, L).
% 输出：L = d

注意：该方案不符合纯逻辑编程范式，仅推荐值需要动态修改的场景使用。

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