前向和后向链接的Prolog示例
前向和后向链接的Prolog示例
提问于 2017-11-12 11:54:52
根据校园会的规定，任何保安人员在没有有效证件的情况下允许任何外来者进入校园将被停职。一些没有有效身份证明的外来者在校园内被发现。所有这些外来者都是由一位名叫X先生的保安允许进入校园的。
(a) From the above statements, construct a knowledge base.
(b) Implement forward and backward chaining.
(c) Using the forward chaining and backward chaining, prove that
“Mr. X must be suspended”.
(d) Compare the efficiency of forward chaining and backward chain-
ing algorithms with respect to the number of irrelevant clauses
generated.对于上面的问题，我是这样处理的。
securityPerson(mrx).
outsider(P).
securityAllows(mrx,P).
suspended(Z) :- securityPerson(Z),outsider(P),securityAllows(Z,P).查询：
?- suspended(mrx).
true.
?- suspended(mrxa).
false.
?- trace.
true.
[trace] ?- suspended(mrx).
Call: (7) suspended(mrx) ? creep
Call: (8) securityPerson(mrx) ? creep
Exit: (8) securityPerson(mrx) ? creep
Call: (8) outsider(_G1937) ? creep
Exit: (8) outsider(_G1937) ? creep
Call: (8) securityAllows(mrx, _G1938) ? creep
Exit: (8) securityAllows(mrx, _G1938) ? creep
Exit: (7) suspended(mrx) ? creep
true.正确吗?如果不正确，请帮助
回答 1
Stack Overflow用户
发布于 2017-11-13 07:37:23
不，好像不太对。你还没有在校园内编码。而且，你的规则似乎暗示X先生是一个局外人。您应该组成一些个体，而不是在outsider/1子句中有一个(n隐式通用量化)变量。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/47245282
复制相关文章
相似问题
腾讯云开发者
