Что означает true?

У меня есть такой файл in.pl:

in_array([X],X):-true.
in_array([H|Tail],H):-true.
in_array([_|Tail],H):-in_array(Tail,H).

Запускаю GNU prolog:

| ?- [in].
in_array([1,2],2).
true ? 
yes

Нажимаю Enter, отвечает yes. Зачем он спрашивает про "true ?"