swi prolog在任何寫入之前執行所有readln

Question

在我的代碼中，似乎所有readln語句都是在單個write完成之前執行的。 我的代碼：

go :- readln(A), write(A), readln(B), write(B). 

它目前的運行方式

? go. 
|: foo 
bar 
[foo][bar] 
true. 

但我想

? go. 
|: foo 
[foo] 
bar 
[bar] 
true. 

任何想法可能會導致行爲，以及如何去改變它？

Answer 1

由於@CapelliC建議：

?- listing(go). 
go :- 
    read_line_to_codes(user_input, A), 
    format("~s~n", [A]), 
    read_line_to_codes(user_input, B), 
    format("~s~n", [B]). 

true. 

?- go. 
| foo 
foo 
| bar 
bar 
true.