对规则头和规则体的困惑？

Question

我正在尝试从给定的知识库中写一条关于本地库的规则，这样我就可以看到两个作者是否一起写了一篇文章。

这是正在使用的知识库。

localLib(‘AHorowitz’, ‘Stolen Gods’, 2011, ‘Scorpia Rising’, 448, 4).
localLib(‘AHorowitz’, ‘Night Visitors’, 2000, ‘Stormbreaker’, 240, 2).
localLib(‘AHorowitz’, ‘Matador’, 2003, ‘Eagle Strike’, 340, 6).
localLib(‘AJohnston’, ‘Night Visitors’, 2000, ‘Stormbreaker’, 240, 2).
localLib(‘AJohnston’, ‘Matador’, 2003, ‘Eagle Strike’, 340, 6).
localLib(‘RMuchamore’, ‘Basic Training’, 2007, ‘The Recruit, 342, 3).
localLib(‘MHaddon’, ‘11.’, 2004, ‘The Curious Incident Of The Dog In The Night Time’, 226, 5).

知识库的关键如下：

localLib(w, e, y, t, n, c) where
w = writer’s name
e = excerpt in text
y = year of text
t = title of text
n = no. of pages in text 
c = no. of acknowledgements

这是我为规则编写的代码：

searchlocalLib(W,E,_,_,_,_):- localLib((W1,W2),E,_,_,_,_). 

然而，我感到非常困惑，因为这看起来不对，因为我觉得我没有在规则头中描述W1和W2 --因此查询将无法工作，请给我一些指导吧？

另外，我还想查询ptolog，如果两个作者在指定的年份(如2004年)之后一起写作的话。当我改正时，我是否只是在上面的规则中输入一个年数？

Answer 1

让我们按照原来的规则。

searchlocalLib(W,E,_,_,_,_):- localLib((W1,W2),E,_,_,_,_).

它有两个主要的问题。首先，这个规则假设如果同一本书有两个作者，那么库条目(localLib/6)有一个元组，作者作为其第一个参数。在您的知识库中，对于每本书的每个作者使用一个条目时，情况并非如此：

localLib(‘AHorowitz’, ‘Night Visitors’, 2000, ‘Stormbreaker’, 240, 2).
...
localLib(‘AJohnston’, ‘Night Visitors’, 2000, ‘Stormbreaker’, 240, 2).

第二，有三个单例变量(W、W1、W2)。使用此规则不会实例化变量W。这个规则缺少一些统一，比如W = [W1, W2] (忽略第一个问题)。

您需要用自然语言表达您以后将在Prolog中使用一个限定子句表示的内容。类似于：

作者W1和W2在Y中共同写了一本书，如果有两个不同的库条目.

然后尝试将其表示为Prolog中的规则：

twoAuthors(T, [W1, W2], Y):-
    locallib(W1, T, Y, ...),
    locallib(W2, T, Y, ...),
    W1 \== W2.

有关某个特定年份之后编写的条目，请参见this answer中的类似问题。