Prolog 请帮助回答一个简单的序言问题

我的程序中有以下Prolog代码：

conn([oxford_circus, baker_street], 4).
conn([baker_street, kings_cross], 5).
conn([oxford_circus, warren_street], 3).
conn([warren_street, tottenham], 2).
conn([oxford_circus, tottenham], 2).
conn([tottenham, holborn], 1).
conn([holbor, kings_cross], 4).

s(N, M, C) :-
  conn(L, C),
  member(N, L),
  member(M, L).

现在我将s谓词称为

s（oxford_circus，M，C）。

，但不幸的是，它确实失败了，没有告诉我例如：

M = baker_street
C = 4

我确信这是一个非常简单的错误，但似乎我找不到：（
提前感谢您的指导

---

干杯！

它在我的swi序言中如您所期待的那样工作。 这会不会比你需要使用一个合适的命令行？

---

例如，swi prolog的典型问题是不使用-s或-c标志。

hmm…非常奇怪。在关闭并重新启动swi prolog后，它确实对我也起作用。我在swi prolog编辑器中重新启动了swi prolog实例，但没有起到任何作用。我必须完全重新启动swi prolog编辑器才能让它工作——可能b编辑有bug？无论如何谢谢你的帮助！