Issues
- 3
dif/2 redundant
#443 opened by UWN - 1
Unification result blocked from view
#487 opened by flexoron - 0
- 5
List processing failure
#486 opened by flexoron - 0
append/3 segfault
#489 opened by flexoron - 3
dif/2 with different open variables
#481 opened by UWN - 12
frozen/2 broken
#490 opened by flexoron - 4
freeze/2 type-check ignored
#488 opened by flexoron - 7
Variable name display issue
#482 opened by flexoron - 2
Arcane variable handling
#484 opened by flexoron - 2
format/2 crash with the ~NI control sequence
#483 opened by pmoura - 1
format/2-3 bug in default column boundary value
#480 opened by pmoura - 6
What are the brakes in freeze/2 ?
#479 opened by Jean-Luc-Picard-2021 - 0
Unification incomplete
#478 opened by flexoron - 2
- 0
Unexpected substitution
#476 opened by flexoron - 8
Cyclic term (display) error easy to see
#475 opened by flexoron - 1
Invalid writing of infinite term
#463 opened by UWN - 8
Cyclic term is hard to see in a sea of brackets
#474 opened by flexoron - 3
Display variable name issue
#473 opened by flexoron - 3
- 8
Unexpected uninstantiation_error
#468 opened by UWN - 1
`phrase/2` + string with a space = unexpected syntax errors, if as a goal in a rule
#469 opened by haijinSk - 11
Unicode printing unclean
#470 opened by flexoron - 0
Trick makes values of variables invisible
#467 opened by flexoron - 5
Trick makes values of variables visible
#466 opened by flexoron - 3
Term producing useless rule
#462 opened by flexoron - 3
Incomplete printing of cyclic term
#464 opened by flexoron - 3
[user]. end_of_file. broken
#465 opened by flexoron - 1
[user] segfault
#455 opened by flexoron - 3
Grammar rule error leaves useless translation
#460 opened by flexoron - 4
DCG error?
#461 opened by infradig - 1
Top level/call_residue_vars/2 incorrect with dif/2
#449 opened by UWN - 0
append/3 segfault
#459 opened by flexoron - 2
length/2 segfault
#458 opened by flexoron - 1
List processing slightly deformed
#457 opened by flexoron - 1
dif/2 redundant with simple tree
#456 opened by UWN - 7
Performance degression
#453 opened by flexoron - 0
Unexpected abbreviations makes debugging impossible
#451 opened by UWN - 0
(==)/2 incorrect for rational trees
#450 opened by UWN - 3
Print cyclic lists issue
#447 opened by flexoron - 7
dif/2 imperfect
#448 opened by flexoron - 0
[user]/overwriting/listing incomplete
#454 opened by flexoron - 0
functor/3 segfault
#452 opened by flexoron - 5
Syntax error undetected
#441 opened by flexoron - 2
(=..)/2 segfault
#440 opened by flexoron - 4
Variable value unnoticed
#446 opened by flexoron - 7
clpz: expands unrelated terms
#442 opened by UWN - 3
Variable substitution missed out
#445 opened by flexoron - 1
Variable displayed incorrectly
#444 opened by infradig