пожалуйста, помогите с простым вопросом Пролог

Question

В моей программе есть следующий код Пролога:

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.Может быть, вам нужно использовать правильную командную строку?Например, типичная проблема с прологом swi - не использовать флаг -s или -c.