didoudiaz / gprolog

GNU Prolog
Other
106 stars 13 forks source link

Top level: odd display of answer substitutions with expensive computations. #50

Closed UWN closed 1 year ago

UWN commented 1 year ago
| ?- length(L,N), N > 8, ( permutation(L,_), false ; true).

L = [_,_,_,_,_,_,_,_,_]
N = 9 ? a

L = [_,_,_,_,_,_,_,_,_,_]
% no immediate display of N = 10

So I am looking at a sequence of answers that take quite some time to compute. I enter a to see all of them, but then the next answer is only shown incompletely, the line N = 10 will only be shown when the next answer will be ready.