是否有可能在生产规则中引用事实？

Question

说我有一个看起来像这样的数据库：

regular_player('Xi'). 
regular_player('Doyle'). 

expert_player('Houdini'). 
expert_player('Gandhi'). 

% don't allow expert players to be paired together 
start  --> good_pair. 
good_pair --> (player, expert) ; (expert, player) ; (player, player). 
player  --> ['Xi'] ; ['Doyle']. 
expert  --> ['Houdini'] ; ['Gandhi']. 

是否有可能从生产规则引用的事实，以消除重复我这里。

Answer 1

您可以消除事实并改用player和expert规则。

或者，限定

player --> [P], { regular_player(P) }. 
expert --> [E], { expert_player(E) }. 

至于其做法是适当的是依赖于应用的。