swipl-devel
swipl-devel copied to clipboard
SWI-Prolog
SWI-Prolog Main development repository
I'm using SWI-Prolog 8.3.16 built from source (d307e9469107059e69fa9bb4e404d0ed78d0a0fd) on macOS 10.14.6. I can reproducibly cause an "Interrupted system call" I/O error using these steps: 1. Start SWI-Prolog interactively 2. While...
Suppose we have: ``` ?- set_prolog_flag(answer_write_options,[quoted(true),portray(true),max_depth(10),attributes(portray)]). true. ``` Then a longish list gets elided at depth 10: ``` ?- length(L,200). L = [_15876,_15882,_15888,_15894,_15900,_15906,_15912,_15918,_15924|...]. ``` Then we prepend `max_depth(100)` top the...
note that i'm not thread-stressing it this time, but it still took a hour to hit this. https://gist.github.com/koo5/480e8fbe6078041fad1bb28fb579c06b
``` > swipl --debug=true Welcome to SWI-Prolog (threaded, 64 bits, version 8.3.15) SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software. Please run ?- license. for legal details. For...
The emscripten setup seems a bit of a mess. After some tweaking with various scripts I got emscripten to run (from the latest git). Then I get somewhere using this,...
Forked from #722. See also #737 for the context for reproducing. Crash at ``` v = v0 & (buckets-1); head = table[v];
I miss an option that i could pass to `swipl`, to make it stop when it encounters a warning or an error during loading of the script i passed to...
The problem is described as 'disappointment 1' on line 35 of this file https://github.com/smucclaw/sandbox/blob/273bf62d8bfc4ee25b501c283b1b86fe765ebab4/mengwong/advent2020/day01/part2.pl#L78 This fixes it by removing the yall call. [12:42] [debug] ?- solutionN("input.txt", 2020, 2, Answer). [12:42]...
We find: ``` ?- type_error(X,X). ERROR: Arithmetic: `evaluable' is not a function ERROR: In: ERROR: [11] throw(error(type_error(_4822,_4824),_4818)) ERROR: [9] toplevel_call(user:user: ...) at /usr/local/logic/swipl/lib/swipl/boot/toplevel.pl:1113 ERROR: ERROR: Note: some frames are missing...
``` [Thread 1 (main) at Thu Nov 26 17:59:18 2020] /build/swi-prolog-ipjHTP/swi-prolog-8.3.13-1-gf5499ea5c/packages/semweb/rdf_db.c:4539: literal_hash: Assertion failed: 0 C-stack trace labeled "assert_fail": [0] PL_strtod() at ??:? [0x7f5693d90b38] [1] __assert_fail() at ??:? [0x7f5693d4b547] [2]...