Prolog中查找满足逻辑公式的参数值的实现方法

报错Arguments are not sufficiently instantiated的核心原因是Prolog不会自动为未绑定的自由变量枚举可能取值。
你写的规则check(A,B) :- A,B.中，合取运算符,要求两侧的子句必须可以直接计算真值。当A或B是未实例化的自由变量时，Prolog既不知道变量的取值范围，也无法对无绑定的变量做真值判断，直接抛出实例化错误。
findall/bagof/setof这类元谓词仅负责收集目标的所有可行解，不会主动为目标内的自由变量生成候选值，因此单独使用这类谓词无法解决问题。另外Prolog没有内置布尔类型的取值域定义，不会默认参数只能取true/false两个值，必须手动声明。

先明确定义布尔值的所有可能取值，调整check/2规则，在执行合取判断前，先将两个参数绑定为合法的布尔值（如果是变量就自动枚举候选值）：

% 枚举布尔类型的全部可能取值
bool(true).
bool(false).

% 先完成参数的取值绑定，再执行合取判断
check(A, B) :- bool(A), bool(B), A, B.

修改后所有查询均可返回预期结果：

• 查询check(true,true).返回true
• 查询check(true,false).返回false
• 查询check(X,Y).返回唯一解X = true, Y = true
• 查询check(X,true).返回解X = true
• 查询findall(X, check(true,X), Solution).返回Solution = [true]

如果后续要扩展其他逻辑运算规则，只要保证运算执行前，所有可能为自由变量的参数都先通过bool/1完成取值绑定，就不会再出现参数实例化不足的错误。

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