SWI-Prolog/
Dummy repository for issue tracking
USD raised
Recent activities
Possible bug in swipl last version
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
anchored flag in regex does not have any effect
`sequence//3` doesn't like trailing separators
debian install delivers a really old version of swi-prolog (7.2.3)
ppc64le compilation failure in Alpine for swi-prolog 8.5.0
More Tutorial Needed for JPL
[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
Unicode symbols, and a possible numerical paradox!
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.
Did you know incorrect
Unexpected uncaught error
char_type/2 non-relational
Query timeout when using the MQI while the GUI returns an almost instant result
© 2019 BoostIO, Inc.