Activity for Ed Schwartz

  • Ed Schwartz Ed Schwartz posted a comment on ticket #242

    Distributor ID: Ubuntu Description: Ubuntu 18.04.1 LTS Release: 18.04 Codename: bionic

  • Ed Schwartz Ed Schwartz posted a comment on ticket #242

    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...

  • Ed Schwartz Ed Schwartz created ticket #242

    Ctrl-C stops the computation of goals specified by the -e option instead of creating a break

  • Ed Schwartz Ed Schwartz created ticket #235

    Incremental tabling does not work when calling XSB from C

  • Ed Schwartz Ed Schwartz created ticket #8

    Printing numbers in hexidecimal

  • Ed Schwartz Ed Schwartz posted a comment on ticket #141

    Sorry for the delay; I've been on vacation. Gabriel, your changes sound reasonable...

1