【发布时间】：2020-11-04 16:47:44
【问题描述】：
我想知道为什么在逻辑上这是一个有效的推论：
friends(X,Y) :- like(X,Y).
friends(david,sara).
?- like(david,sara).
yes
【问题讨论】：
-
不是。查询
like(david, sara)甚至会引发异常，因为您从未定义此谓词。 Prolog 程序的某些其他部分可能没有在此处显示。 -
嗨，我对它真的很陌生，但仅此而已。没有隐藏任何东西:)
标签： prolog