SWI-Prolog/
Dummy repository for issue tracking
USD raised
Recent activities
Did you know incorrect
Migrate code from SWI-Prolog version 7.x to 8.x
dif/2 incorrect Ⅳ
DCGs, call/1, clpfd incorrect goal expansion
write/1 and writeln/1 missing predicate on SWISH name but wasm/native versions work as expected.
documentation for catch/3 suggests discarding choices in scope, contrary to behaviour
dif/2 incorrect Ⅴ
Wrong result from X is -1**2.
Top level, dif/2 odd answer, exception uncaught
Incorrect behaviour for a simple logical disjunction.
stable 9 PPA KO
Unicode symbols, and a possible numerical paradox!
Unexpected uncaught error
char_type/2 non-relational
Query timeout when using the MQI while the GUI returns an almost instant result
List of terms consulted twice
error message needs improving
nb_set_to_list bug?
unload function not working through JPL
swi-prolog 10.0.0 hangs on "Generating home/doc/manindex.db" when compiling on 32-bit arches in Alpine Linux
XPCE unavailable
swi-prolog 10.0.1 test failure in udp_sockets only on loongarch64
More Tutorial Needed for JPL
sub_string/5 repeats the empty-string solution
Test failures on Alpine Linux
Type error: `dict-key' expected, found `a/b' (a compound)
File works correctly when consulted, but compiling gives "Type error: `callable' expected"
Satisfiable goal fails in CLP(Q)
dif/2 incorrect
`sequence//3` doesn't like trailing separators
anchored flag in regex does not have any effect
debian install delivers a really old version of swi-prolog (7.2.3)
ppc64le compilation failure in Alpine for swi-prolog 8.5.0
Possible bug in swipl last version
[swipl 8.0.2] : load_html => Domain error: `http_encoding' expected, found `gzip'
Compilation issues on Alpine Linux
Unexpected behaviour of sort/2
Compilation problem
Compilation failures in 8.5.4 & 8.5.3 in Alpine Linux
dif/2 incorrect Ⅲ
Problems with stable macOS binary on High Sierra
Unexpected dif/2 failure
reverse(Xs,[a]) leaves a choice point open
getenv('PATH', A) has a 0-code replacing last character of A
© 2019 BoostIO, Inc.