12 Nov
2010
12 Nov
'10
11:35 a.m.
Hello, It seems to be an issue in the top-level when loading the following program (say, p.pl):
:- initialization(main).
main :- repeat, read(X), X==stop.
By submitting 'ensure_loaded(p)' the program does not stop when reading the term 'stop'. However, the very same program without the initialization directive does return to the top-level when explicitly called with the goal 'main'. Is this a bug or a feature? This execution corresponds to the Windows stable version 1.10p5 running on Windows XP SP3. By the way, when will the next stable version be released? All the best, Fernando Sáenz