Prolog欧姆定律电阻电路程序报错排查与实现咨询

错误原因分析 #

你的代码触发「Arguments are not sufficiently instantiated」错误，核心问题在于**is/2谓词的特性**：X is Expr要求表达式Expr中的所有变量必须已经被绑定为具体数值，否则Prolog无法计算表达式结果。

你的代码把所有可能的欧姆定律公式用;（逻辑或）堆在一起，当Prolog尝试执行某个分支时，如果表达式里有未绑定的变量，就会直接报错。比如查询p_ohm(I, I1, 1, 6, V1, V2, R, 1, R2)时，代码会尝试执行R1 is V1 / I1，此时V1和I1还没被赋值，导致错误。

另外你的代码还有一处语法错误：在V的约束分支中，V is V2后面缺少分号，导致语法解析失败。

正确实现思路 #

并联电路的核心约束只有几个，不需要枚举所有可能的公式排列：

1. 支路电压相等：V1 = V, V2 = V
2. 总电流等于支路电流之和：I is I1 + I2
3. 每个电阻满足欧姆定律：V1 is I1 * R1, V2 is I2 * R2
4. 总电阻公式：R is (R1 * R2) / (R1 + R2)（或用倒数形式）

基础修正版（仅支持完全可计算的查询） #

先修正语法和逻辑，只保留核心约束，确保is/2的表达式都能被计算：

% 并联电路欧姆定律
p_ohm(I, I1, I2, V, V1, V2, R, R1, R2) :-
    % 并联核心规则：支路电压等于总电压
    V1 = V,
    V2 = V,
    % 各电阻的欧姆定律
    V1 is I1 * R1,
    V2 is I2 * R2,
    % 总电流等于支路电流之和
    I is I1 + I2,
    % 总电阻计算公式
    R is (R1 * R2) / (R1 + R2).

测试你的查询：

?- p_ohm(I, I1, 1, 6, V1, V2, R, 1, R2).
% 计算结果：
I = 7,
I1 = 6,
V1 = 6,
V2 = 6,
R = 6/7,
R2 = 6.

更灵活的版本（使用CLP(Q)支持部分实例化查询） #

如果想支持更灵活的查询（比如只给部分参数，让Prolog求解其他参数），可以用SWI-Prolog的CLP(Q)约束逻辑编程库，它支持对有理数进行约束求解，不需要所有变量提前实例化。

:- use_module(library(clpq)).

% 并联电路欧姆定律（CLP(Q)版本）
p_ohm_clp(I, I1, I2, V, V1, V2, R, R1, R2) :-
    % 并联核心约束
    V1 = V,
    V2 = V,
    % 欧姆定律约束（用#=代替is，支持未实例化变量）
    V1 #= I1 * R1,
    V2 #= I2 * R2,
    I #= I1 + I2,
    % 总电阻约束（可添加R1 #\= 0, R2 #\= 0避免除以0）
    R #= (R1 * R2) / (R1 + R2).

测试示例：

% 查询总电阻，已知R1=2，R2=3
?- p_ohm_clp(I, I1, I2, V, V1, V2, R, 2, 3).
R = 6/5,
V1 = V,
V2 = V,
V #= 2*I1,
V #= 3*I2,
I #= I1+I2.

% 你的原始查询
?- p_ohm_clp(I, I1, 1, 6, V1, V2, R, 1, R2).
I = 7,
I1 = 6,
V1 = 6,
V2 = 6,
R = 6/7,
R2 = 6.

关于Prolog执行逻辑的说明 #

Prolog是逻辑编程语言，它的执行方式是：

1. 从左到右匹配谓词的子目标
2. 遇到;（逻辑或）时，会尝试第一个分支，如果失败就回溯尝试第二个分支
3. is/2是算术求值谓词，不是约束，它要求右侧表达式必须完全实例化才能计算；而CLP的约束谓词（如#=）可以先记录约束，后续再求解，更适合物理公式这类多方向求解的场景。

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