请帮助一个简单的Prolog问题

Question

我的程序中有以下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

我确信这是一个非常简单的错误，但似乎我找不到它:(
提前感谢任何指导！

干杯！

Answer 1

它在我的swi prolog中按预期工作。 是否需要使用正确的命令行？ 例如，swi prolog的典型问题是不使用-s或-c标志。