给定知识库的 Prolog 谜题 - 不工作

Question

我知道题目的标题在这里：A prolog program that reflects people sitting at a round table

但我需要一个不同的解决方案，更简单。

所以我遇到了一个问题，即 4 个人围坐在一张方桌旁。

我们知道他们的名字。 有人是骨科医生，有人是牙医，有人是外科医生，有人是儿科医生。

我们有一个您将在代码中看到的知识库。

我们必须找到儿科医生的名字。

我的程序找到了它，但没有打印出代表桌子上座位的列表的所有四种可能组合。

table(List):-
    length(List,4),
    member(convive(argiro,_,female),List),
    member(convive(georgia,_,female),List),
    member(convive(basilis,_,male),List),
    member(convive(dimitris,_,male),List),
    left(convive(_,dentist,_),convive(argiro,_,female),List),
    oppo(convive(_,surgeon,_),convive(basilis,_,male),List),
    next(convive(georgia,_,female),convive(dimitris,_,male),List),
    left(convive(_,_,female),convive(_,orthopedist,_),List),
    member(convive(_,pediatrecian,_),List).

left(X,Y,ConLs):-append(_,[X,Y|_],ConLs).

left(X,Y,ConLs):-prefix(X,ConLs),last(ConLs,Y).

next(X,Y,ConLs):-left(X,Y,ConLs).

next(X,Y,ConLs):-append(_,[Y,X|_],ConLs).

next(X,Y,ConLs):-prefix(Y,ConLs),last(ConLs,X).

oppo(X,Y,ConLs):-next(X,Z,ConLs),next(Z,Y,ConLs),X\==Y.

在我得到的终端上：

?- table(List),member(convive(Name,pediatrecian,_),List).

List = [convive(basilis, 牙医, 男性), convive(argiro, 儿科, 女性), convive(格鲁吉亚, 外科医生, 女性), convive(dimitris, 骨科医生, 男性)], 名称 = argiro ;

List = [convive(格鲁吉亚，外科医生，女性)，convive(dimitris，骨科医生，男性)，convive(basilis，牙医，男性)，convive(argiro，儿科医师，女性)]， 名称 = argiro ;

假的。

如您所见，我得到了名字，但只有 2 个可能的列表表示每个人的座位。还应该有：

List = [convive(dimitris, 骨科医生, 男性), convive(basilis, 牙医, 男性), convive(argiro, 儿科, 女性), convive(georgia, 外科医生, 女性)]

List = [convive(argiro, pediatrecian, 女性), convive(georgia, 外科医生, 女性), convive(dimitris, 骨科医生, 男性), convive(basilis, 牙医, 男性)]

我已经使用了这些线条

left(X,Y,ConLs):-prefix(X,ConLs),last(ConLs,Y).

next(X,Y,ConLs):-prefix(Y,ConLs),last(ConLs,X).

但是，它们什么也没做，如果我删除它们，我会得到相同的结果。

更新

table(List):-
length(List,4),
member(convive(argiro,_,female),List),
member(convive(georgia,_,female),List),
member(convive(basilis,_,male),List),
member(convive(dimitris,_,male),List),
left(convive(_,dentist,_),convive(argiro,_,female),List),
oppo(convive(_,surgeon,_),convive(basilis,_,male),List),
next(convive(georgia,_,female),convive(dimitris,_,male),List),
left(convive(_,_,female),convive(_,orthopedist,_),List),
member(convive(_,pediatrecian,_),List).

left(X,Y,ConLs):-append(_,[X,Y|_],ConLs).

left(X,Y,ConLs):-prefix(X,ConLs),last(ConLs,Y).

next(X,Y,ConLs):-left(X,Y,ConLs);left(Y,X,ConLs).

%next(X,Y,ConLs):-append(_,[Y,X|_],ConLs).

next(X,Y,ConLs):-prefix(Y,ConLs),last(ConLs,X).

%oppo(X,Y,ConLs):-next(X,Z,ConLs),next(Z,Y,ConLs),X\==Y.

oppo(X,Y,[X,_,Y,_]).

oppo(X,Y,[Y,_,X,_]).

oppo(X,Y,[_,X,_,Y]).

oppo(X,Y,[_,Y,_,X]).

所以，oppo/3 似乎在给定列表上运行良好

?- table(List), oppo(convive(argiro,pediatrecian,female),Name,List)。

列表 = [convive(basilis, 牙医, 男性), convive(argiro, 儿科, 女性), convive(georgia, 外科医生, 女性), convive(dimitris, 骨科医生, 男性)],

姓名 = convive(dimitris, 骨科医生, 男性) ;

List = [convive(格鲁吉亚，外科医生，女性)，convive(dimitris，骨科医生，男性)，convive(basilis，牙医，男性)，convive(argiro，儿科医师，女性)]，

姓名 = convive(dimitris, 骨科医生, 男性) ;

假的。

---

left/3 似乎在做与我首先要解决的相同的事情，它适用于 argiro 为 2 且 georgia 为 3 的列表，这是一个简单的情况，但在您可以在 oppo/3 结果中看到上面的第二个列表，其中 argiro 是第 4 号，georgia 是第 1 号，它应该看到 georgia 再次在 argiro 的左侧，但不是。

?- table(List), left(convive(argiro,pediatrecian,female),Name,List)。

列表 = [convive(basilis, 牙医, 男性), convive(argiro, 儿科, 女性), convive(georgia, 外科医生, 女性), convive(dimitris, 骨科医生, 男性)],

姓名 = convive（格鲁吉亚，外科医生，女性）；

假的。

---

现在 next/3 返回一些非常令人不安的结果。我不知道该怎么做，我是Prolog的新手。有些还可以，但有些似乎将整个数组作为结果，有些说 List = Name。

前三个结果没问题，第四个和left/3一样，看不到列表中的第一个在最后一个的旁边，所以它返回一个空数组。

这里发生了什么？

?- table(List), next(convive(argiro,pediatrecian,female),Name,List)。

列表 = [convive(basilis, 牙医, 男性), convive(argiro, 儿科, 女性), convive(georgia, 外科医生, 女性), convive(dimitris, 骨科医生, 男性)],

姓名 = convive（格鲁吉亚，外科医生，女性）；

列表 = [convive(basilis, 牙医, 男性), convive(argiro, 儿科, 女性), convive(georgia, 外科医生, 女性), convive(dimitris, 骨科医生, 男性)],

姓名 = convive(basilis, 牙医, 男性) ;

List = [convive(格鲁吉亚，外科医生，女性)，convive(dimitris，骨科医生，男性)，convive(basilis，牙医，男性)，convive(argiro，儿科医师，女性)]，

姓名 = convive(basilis, 牙医, 男性) ;

List = [convive(格鲁吉亚，外科医生，女性)，convive(dimitris，骨科医生，男性)，convive(basilis，牙医，男性)，convive(argiro，儿科医师，女性)]，

名称 = [] ;

List = [convive(格鲁吉亚，外科医生，女性)，convive(dimitris，骨科医生，男性)，convive(basilis，牙医，男性)，convive(argiro，儿科医师，女性)]，

姓名 = [convive（格鲁吉亚，外科医生，女性）] ;

List = [convive(格鲁吉亚，外科医生，女性)，convive(dimitris，骨科医生，男性)，convive(basilis，牙医，男性)，convive(argiro，儿科医师，女性)]，

姓名 = [convive（格鲁吉亚，外科医生，女性），convive（dimitris，骨科医生，男性）] ;

List = [convive(格鲁吉亚，外科医生，女性)，convive(dimitris，骨科医生，男性)，convive(basilis，牙医，男性)，convive(argiro，儿科医师，女性)]，

姓名 = [convive（格鲁吉亚，外科医生，女性），convive（dimitris，骨科医生，男性），convive（basilis，牙医，男性）] ;

列表 = 名称，

姓名 = [convive(格鲁吉亚，外科医生，女性)，convive(dimitris，骨科医生，男性)，convive(basilis，牙医，男性)，convive(argiro，儿科医师，女性)] ;

List = [convive(格鲁吉亚，外科医生，女性)，convive(dimitris，骨科医生，男性)，convive(basilis，牙医，男性)，convive(argiro，儿科医师，女性)]，

名称 = [] ;

List = [convive(格鲁吉亚，外科医生，女性)，convive(dimitris，骨科医生，男性)，convive(basilis，牙医，男性)，convive(argiro，儿科医师，女性)]，

姓名 = [convive（格鲁吉亚，外科医生，女性）] ;

List = [convive(格鲁吉亚，外科医生，女性)，convive(dimitris，骨科医生，男性)，convive(basilis，牙医，男性)，convive(argiro，儿科医师，女性)]，

姓名 = [convive（格鲁吉亚，外科医生，女性），convive（dimitris，骨科医生，男性）] ;

List = [convive(格鲁吉亚，外科医生，女性)，convive(dimitris，骨科医生，男性)，convive(basilis，牙医，男性)，convive(argiro，儿科医师，女性)]，

姓名 = [convive（格鲁吉亚，外科医生，女性），convive（dimitris，骨科医生，男性），convive（basilis，牙医，男性）] ;

列表 = 名称，

姓名 = [convive(格鲁吉亚，外科医生，女性)，convive(dimitris，骨科医生，男性)，convive(basilis，牙医，男性)，convive(argiro，儿科医师，女性)] ;

假的。

更新

所以我了解到 prefix/2 适用于字符串，例如， prefix(x,[x,y,z]). 返回错误。 这就是它不起作用的原因，这解释了 next/3 中的结果，但我的问题仍然没有解决。

还有其他方法可以让 left 和 next 与列表的第一部分和最后一部分一起工作吗？

Answer 1

我敢打赌，罪魁祸首是oppo 中的\==，因为这些谓词在这里以生成方式使用。试着摆脱它。只需手动编码四种可能性就足够了 - 毕竟，您的列表长度固定且非常短：

oppo(X,Y,[X,_,Y,_]).
.....

如果将next/3 编码为对left/3 的两个调用的析取，那么next/3 会更容易/更清晰。

对于left/3 本身，您也可以通过您的ConLs 形成一个圆圈

circle_up(Ls,Circle):- head(A,Ls), append(Ls,[A],Circle).

并在对append 的一次简单调用中使用Circle 来完成left/3 的定义。这假设定义

head(A,L):- L=[A|_].