Почему gprolog не отвечает, как ожидалось?

Question

Я сделал простое предположение, что числовая программа и gprolog делают бесконечный цикл. Но когда я пробую это в клубничном прологе, это не так! Почему?

loop:-
   read(Guess),
   Guess \= 15,
   loop.

Я также пытался использовать rosettacode.

main :-
   random_between(1, 10, N),
   repeat,
   prompt1('Guess the number: '),
   read(N),
   writeln('Well guessed!'),
   !.

и это не работает ни в Strawberry, ни в gprolog.

Почему это происходит?

И как правильно изучать Пролог?