SWI-Prolog issues issues

SWI-Prolog / issues

Dummy repository for issue tracking

7 stars 3 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Query timeout when using the MQI while the GUI returns an almost instant result

#131 DavidJilg closed 4 months ago
4
char_type/2 non-relational

#130 UWN closed 8 months ago
2
Unexpected uncaught error

#129 notoria closed 9 months ago
1
dif/2 incorrect Ⅵ

#128 UWN opened 11 months ago
3
Did you know incorrect

#127 UWN closed 1 year ago
1
stable 9 PPA KO

#126 moueza opened 1 year ago
1
Incorrect behaviour for a simple logical disjunction.

#125 RECHE23 closed 1 year ago
3
Top level, dif/2 odd answer, exception uncaught

#124 UWN closed 1 year ago
1
Wrong result from X is -1**2.

#123 RECHE23 closed 1 year ago
7
dif/2 incorrect Ⅴ

#122 UWN closed 11 months ago
5
documentation for catch/3 suggests discarding choices in scope, contrary to behaviour

#121 prologbyexample closed 1 year ago
1
write/1 and writeln/1 missing predicate on SWISH name but wasm/native versions work as expected.

#120 prologbyexample closed 1 year ago
1
DCGs, call/1, clpfd incorrect goal expansion

#119 UWN closed 1 year ago
1
dif/2 incorrect Ⅳ

#118 UWN closed 1 year ago
2
Migrate code from SWI-Prolog version 7.x to 8.x

#117 jnidzwetzki closed 1 year ago
2
Same constraint matched twice in CHR-Rule

#116 SRechenberger opened 1 year ago
0
Unicode symbols, and a possible numerical paradox!

#115 Shyam-Has-Your-Anomaly-Mitigated closed 2 years ago
4
getenv('PATH', A) has a 0-code replacing last character of A

#114 anionic closed 2 years ago
3
Unexpected stack limit error with dif/2

#113 ghost opened 2 years ago
6
Unexpected dif/2 failure

#112 ghost closed 2 years ago
4
swi-prolog 8.5.6 s390x thread test failure in Alpine

#110 brebs-gh opened 2 years ago
2
dif/2 incorrect Ⅲ

#109 UWN closed 2 years ago
8
Compilation failures in 8.5.4 & 8.5.3 in Alpine Linux

#108 brebs-gh closed 2 years ago
4
swipl crashes on Mac OS 12.0.1

#107 bdludwig opened 2 years ago
1
Compilation problem

#106 joseph-vidal-rosset closed 2 years ago
15
dif/2 incorrect

#105 UWN closed 2 years ago
30
ppc64le compilation failure in Alpine for swi-prolog 8.5.0

#104 brebs-gh closed 2 years ago
15
Test failures on Alpine Linux

#103 brebs-gh closed 2 years ago
26
Compilation issues on Alpine Linux

#102 brebs-gh closed 2 years ago
13
Possible bug in swipl last version

#101 lcoheur closed 3 years ago
5
Type error: `dict-key' expected, found `a/b' (a compound)

#100 erikkaplun closed 3 years ago
1
sub_string/5 repeats the empty-string solution

#99 brebs-gh closed 3 years ago
1
More Tutorial Needed for JPL

#98 Enhitech closed 3 years ago
1
`sequence//3` doesn't like trailing separators

#97 pkoch closed 3 years ago
2
debian install delivers a really old version of swi-prolog (7.2.3)

#96 redskate closed 3 years ago
3
Goal does not terminate with library(simplex)

#95 andreaf96 opened 4 years ago
0
Wrong answer produced by clp(q) after a copy_term/2

#94 maximilianocristia opened 4 years ago
1
Satisfiable goal fails in CLP(Q)

#93 andreaf96 closed 4 years ago
2
Unexpected behaviour of sort/2

#92 wolffw closed 4 years ago
2
anchored flag in regex does not have any effect

#91 lapalme closed 5 years ago
1
Encoding always set to text regardless of the LANG environment variable

#90 xh4 opened 5 years ago
1
File works correctly when consulted, but compiling gives "Type error: `callable' expected"

#89 nick8325 closed 5 years ago
3
[swipl 8.0.2] : load_html => Domain error: `http_encoding' expected, found `gzip'

#88 didier31 closed 5 years ago
2
Failure to build standalone executable in v7.6.4

#87 jal-frezie opened 5 years ago
7
swipl 8.0.1 / PL_thread_attach_engine(attr) crashes if attr == NULL

#86 clausengel closed 5 years ago
1
V8.0.1 memory management - excessive gc

#85 ridgeworks closed 5 years ago
8
Memory Management in v8.0.1

#84 ridgeworks closed 5 years ago
0
MacOS GUI issues with V8.0.1

#83 ridgeworks opened 5 years ago
58
Version 8.0.1 non-termination (exception handling?)

#82 ridgeworks closed 5 years ago
13
(dynamic)/1 bug in assert/1

#81 Shyam-Has-Your-Anomaly-Mitigated closed 5 years ago
1