Since a while (not sure how long), pressing “ctrl-c” in a terminal window no longer systematically interrupts the running query for me. It notably seems to happen with a bogus DCG grammar that gets into an infinite loop, but I am not entirely sure this is causing it. Some queries (e.g. between/3) do react correctly to a ctrl-c interrupt.
Does anyone else experience this behaviour, or has ideas where this might be coming from?
I am running:
Welcome to SWI-Prolog (threaded, 64 bits, version 8.1.32-10-g1885b056f) Darwin scissors 19.4.0 Darwin Kernel Version 19.4.0: Wed Mar 4 22:28:40 PST 2020; root:xnu-6153.101.6~15/RELEASE_X86_64 x86_64
thanks for any suggestions you may have