Повторяющийся ответ - Prolog

Формулировка задачи:

Здравствуйте пишу программу для определения возможности добраться из одного пункта в другой.

w(1,2).
w(2,3).
w(3,4).
w(4,1).
 
w(5,6).
w(6,7).
w(7,6).
 
way(X,Y):-w(X,Y) ; w(Y,X).
go(X,Y):-way(X,Y).
go(X,Y):-way(X,Z),go(Z,Y).

Если спросить "go(1,X)." ,то постоянно выдает 1 2 3 4 помногу раз как этого избежать? Если спросить "go(1,7)." ,то уходит в молчанку не выдавая ответа можно ли это исправить? Программирую в этой среде (картинка ниже), если кто знает скажите что это такое!

Решение задачи: «Повторяющийся ответ»

textual
                            Листинг программы 
                        

                            ?- [f1].
true.
 
?- go(1,X).
X = 2 .
 
?- go(1,7).
^CAction (h for help) ? abort
% Execution Aborted
?- trace.
true.
 
[trace]  ?- go(1,7).
   Call: (7) go(1, 7) ? creep
   Call: (8) way(1, 7) ? creep
   Call: (9) w(1, 7) ? creep
   Fail: (9) w(1, 7) ? creep
   Redo: (8) way(1, 7) ? creep
   Call: (9) w(7, 1) ? creep
   Fail: (9) w(7, 1) ? creep
   Fail: (8) way(1, 7) ? creep
   Redo: (7) go(1, 7) ? creep
   Call: (8) way(1, _G2553) ? creep
   Call: (9) w(1, _G2553) ? creep
   Exit: (9) w(1, 2) ? creep
   Exit: (8) way(1, 2) ? creep
   Call: (8) go(2, 7) ? creep
   Call: (9) way(2, 7) ? creep
   Call: (10) w(2, 7) ? creep
   Fail: (10) w(2, 7) ? creep
   Redo: (9) way(2, 7) ? creep
   Call: (10) w(7, 2) ? creep
   Fail: (10) w(7, 2) ? creep
   Fail: (9) way(2, 7) ? creep
   Redo: (8) go(2, 7) ? creep
   Call: (9) way(2, _G2553) ? creep
   Call: (10) w(2, _G2553) ? creep
   Exit: (10) w(2, 3) ? creep
   Exit: (9) way(2, 3) ? creep
   Call: (9) go(3, 7) ? creep
   Call: (10) way(3, 7) ? creep
   Call: (11) w(3, 7) ? creep
   Fail: (11) w(3, 7) ? creep
   Redo: (10) way(3, 7) ? creep
   Call: (11) w(7, 3) ? creep
   Fail: (11) w(7, 3) ? creep
   Fail: (10) way(3, 7) ? creep
   Redo: (9) go(3, 7) ? creep
   Call: (10) way(3, _G2553) ? creep
   Call: (11) w(3, _G2553) ? creep
   Exit: (11) w(3, 4) ? creep
   Exit: (10) way(3, 4) ? creep
   Call: (10) go(4, 7) ? creep
   Call: (11) way(4, 7) ? creep
   Call: (12) w(4, 7) ? creep
   Fail: (12) w(4, 7) ? creep
   Redo: (11) way(4, 7) ? creep
   Call: (12) w(7, 4) ? creep
   Fail: (12) w(7, 4) ? creep
   Fail: (11) way(4, 7) ? creep
   Redo: (10) go(4, 7) ? creep
   Call: (11) way(4, _G2553) ? creep
   Call: (12) w(4, _G2553) ? creep
   Exit: (12) w(4, 1) ? creep
   Exit: (11) way(4, 1) ? creep
   Call: (11) go(1, 7) ? creep
   Call: (12) way(1, 7) ? creep
   Call: (13) w(1, 7) ? creep
   Fail: (13) w(1, 7) ? creep
   Redo: (12) way(1, 7) ? creep
   Call: (13) w(7, 1) ? creep
   Fail: (13) w(7, 1) ? creep
   Fail: (12) way(1, 7) ? creep
   Redo: (11) go(1, 7) ? creep
   Call: (12) way(1, _G2553)
                        