Andrew Davison

Long lines copy / pasted in have Unicode left-arrow

1

Enter a long line that causes terminal wrap-around and it shows a ←character. This is not a problem as it just seems to be echoed, not actually input. However if...

Problem with clause

6

This is taken from Logtalk... ``` :- initialization(main). :- dynamic(legs/2). legs(A, 7) :- A, call(A). main :- clause(legs(C,7), Body), Body == (call(C),call(C)), write(succeeded), nl, halt. main :- write(failed), nl, halt....

Memory allocation failures not handled

5

The code tries but fails (no checking in many places) to detect and pass up allocation failures. As an interim I have put in place setting errno to ENOMEM which...

mp_int_to_string gets exponentially slower with big numbers

1

What can I say, it's go make cup of tea slow to write a 695K digit number to a buffer, like 4 minutes. GMP will do the equivalent in under...

Reset history for version 2

23

Time for a clean slate after two years of code-cruft. A gigabyte of git commit history was just ridiculous.

copy_term/2 display (?) incorrect

1

?- V=[V], copy_term(f(V),W). V = [V], W = f([[]]). ?-

Odd dif/2 residual with cyclic list

4

$ scryer-prolog ?- L=[1|L], dif(L, B). L = [1|L], dif:dif([1|1],B). ?-

Uninstantiated module invocation

1

I don't know if this is a bug, expected or just a curiosity... ``` $ scryer-prolog ?- M:true. true. ?- ``` This is relevant in the static definition of phrase/3...

clpb missing a solution

18

The only example from the clpb.pl doc that is out-right wrong (so far)... ``` ~/trealla (devel) $ tpl Trealla Prolog (c) Infradig 2020-2023, v2.27.20-1-gc049-dirty ?- use_module(library(clpb)). true. ?- sat(X*Y +...

Blackboard predicates are not module sensitive on key, as Sicstus, SWI & Yap are

1

``` $ cat m1.pl :- module(m1, [f/0]). :- use_module(library(iso_ext)). f :- bb_put(abc, 456). $ cat m2.pl :- module(m2, [g/0]). :- use_module(library(iso_ext)). g :- bb_put(abc, 123). $ scryer-prolog ?- use_module('m1'). true....