如何在Prolog/ProbLog中通过事实约束谓词参数取值

你遇到的结果异常，和Prolog的统一机制没有关系，本质是你对Prolog/ProbLog的子句结构、变量作用域规则的认知偏差，外加写错了规则结构导致的。

你原有代码的错误点 #

你原本写的代码结构：

c(a).
c(b).
c(c). 

property(X, use, Y).
c(Y).

这里你误以为“连续写两行带同名Y的语句，系统会自动把c(Y)作为property的约束条件”，但实际上：

• Prolog里所有以.结尾的顶级语句都是独立的子句，子句之间的变量作用域完全隔离，跨子句的同名变量没有任何绑定关系
• 上面这段代码加载后，数据库里存储的是三个完全独立的条目：
  • 三个c/1的事实，分别对应取值a、b、c
  • 一个无体的property/3事实，代表“对任意X、任意Y，property(X,use,Y)恒成立”
  • 又一个独立的c/1事实，里面的Y是这个子句独有的全新变量，和前面property里的Y没有任何关系
    你真正想实现的带约束的规则，必须用:-把规则头和规则体连起来，写成单个子句：

% 单条规则：property成立的前提是Y满足c/1
property(X, use, Y) :- c(Y).

这样两个Y才是同一个作用域下的变量，当查询触发时，系统才会通过统一机制从c/1的事实中枚举所有合法Y值完成绑定。

你后续测试中ProbLog特有问题的原因 #

你发现带概率标注的规则跑不通、不带概率的能跑的现象，本质是触发了ProbLog的递归循环问题：

• 你写的可运行版本：

  property(X,use,nicotine) :-  
      property(X,use,Z),
      substance(Z).
  

  这个规则的头硬编码了固定值nicotine，规则体里的Z是从substance/1事实中枚举的合法取值，不会形成自调用的无限递归。
• 你写的不可运行的概率版本：

  P::property(X,use,nicotine) :-  
      property(X,use,Z),
      substance(Z),
      P is 0.8.
  

  因为你数据库里还存着之前写的无约束自由property/3事实，当规则体里再次调用property(X,use,Z)时，会优先匹配到这个自由事实，形成无限递归，永远走不到枚举substance(Z)的分支，最终返回false。

你原本需求的正确实现方式 #

如果要实现“查询property(X,use,Y)时，Y只能取c/1里定义的合法值”，不需要额外写零散的约束语句，直接把约束写进规则体即可：

% 合法取值谓词
c(a).
c(b).
c(c).

% property的成立条件：X是已定义的person，Y是c/1定义的合法值
property(X, use, Y) :-
    person(X),
    c(Y).

% 已定义的person事实
person(1).

这种写法下，你执行查询property(1, use, Y)时，系统会通过统一机制自动枚举Y为a、b、c三个合法值，不会出现返回false的异常。

注：Prolog的统一机制仅在单个子句的作用域内生效，不会跨子句自动关联同名变量，你之前的认知误区正是把两个独立子句的Y当成了同一个绑定变量。

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