请帮忙解决一个简单的 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 标志。