User Activity
-
Posted
a comment
on
ticket #242
on
XSB
Distributor ID: Ubuntu Description: Ubuntu 18.04.1 LTS Release: 18.04 Codename: bionic
-
Posted
a comment
on
ticket #242
on
XSB
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...
-
Created
ticket #242
on
XSB
Ctrl-C stops the computation of goals specified by the -e option instead of creating a break
-
Created
ticket #235
on
XSB
Incremental tabling does not work when calling XSB from C
-
Created
ticket #8
on
XSB
Printing numbers in hexidecimal
-
Posted
a comment
on
ticket #141
on
CIL (C Intermediate Language)
Sorry for the delay; I've been on vacation. Gabriel, your changes sound reasonable...
Personal Data
- Username:
- edmcman
- Joined:
- 1999-11-17 20:15:36
Projects
- No projects to display.