Distributor ID: Ubuntu Description: Ubuntu 18.04.1 LTS Release: 18.04 Codename: bionic
I was testing this a little more, and I was wrong about the cause. It's not whether the goal is specified via -e. I'm unclear why sometimes I'm getting a break and sometimes the computation is being halted. Here's an example where it works as expected: ^C[ Break (level 1) ] 1: ?- [ End break (level 1) ] Here's an example where I press Ctrl-C and the computation stops: C++Error[XSB/Runtime/P]: [Miscellaneous] Aborting... Forward Continuation... ... machine:xsb_backtrace/1 From /home/eschwartz/pharos/build/src/XSB/XSB/syslib/machine.xwam...
Ctrl-C stops the computation of goals specified by the -e option instead of creating a break
Incremental tabling does not work when calling XSB from C
Printing numbers in hexidecimal
Sorry for the delay; I've been on vacation. Gabriel, your changes sound reasonable...