我是 PROLOG 新手，正处于练习的开始阶段这一页 https://sites.google.com/site/prologsite/prolog-course/a-first-glimpse。给定规则parent（X，Y）和male（X），我尝试将规则 mother（X，Y）定义为
mother(X, Y) :-
not(male(X)),
parent(X, Y).
但是，在 GNU Prolog 中我收到以下错误：
| ?- mother(lina, julia).
uncaught exception: error(existence_error(procedure,not/1),mother/2)
| ?-
\+/1是 ISO Prolog 谓词“否定”。请注意，“否定”在这里意味着此时无法证明。
您可以参考这个优秀的答案 https://stackoverflow.com/questions/8523608/logical-not-in-prolog/8523825#8523825通过@false了解有关该主题的更多信息
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
