请用一个简单的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标志。