I’ve encountered some serious problems with SWI-Prolog 9.0.4-1.x64 under Windows 10 64-bit. Namely with abort after Ctrl + C, e.g. when using read_line_to_string(user_input, …). SWI-Prolog shows some strange behaviour then (it hangs, with an entering prompt without ?- or anything else, etc.).
When I use repeat(+ fail) and automatically execute it, together with read_line_to_string(user_input, …) that shall provide the escape conditions, is it normal that SWI-Prolog gets caught in an infinite loop, which I can’t terminate?
When I use read_line_to_string(user_input, …) without automatic execution and want to terminate it, I can’t without corrupting the Prolog session. When pressing Ctrl + C, then entering b, then entering the same predicate that is problematic, then pressing Ctrl + C again, then entering a and closing the application, I get Windows errors as shown in the attached images.
I’ve installed the latest Visual C++ Redistributable (https://aka.ms/vs/17/release/vc_redist.x64.exe).