Jean-Luc-Picard-2021

bigint arithmetic gets killed

27

Why and by whom does it get killed, on WSL2: ``` $ ./tpl -v Trealla Prolog (c) Infradig 2020-2022, v2.5.18 $ ./tpl ?- ['mpatan.p', 'libbf.p', 'treallastub.p']. true. ?- time((between(1,1000,_), mp_pi(8192,...

Rounding glitch from bigint to float

8

Hi, Did some regression testing: ``` %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Trealla Prolog 2.4.3 % ?- trealla. % case, trealla: 0 % case2, trealla: 0 % case3, trealla: 0 % case4, trealla: 0...

Feature request: How about a bigint random function?

6

Was only checking a quick GitHub search and this queries here, didn't found `random/1` as known from SWI-Prolog: ``` $ ./tpl -v Trealla Prolog (c) Infradig 2020-2022, v2.4.3 $ ./tpl...

not precise enough float printing

8

Currently I get: ``` $ ./tpl -v Trealla Prolog (c) Infradig 2020-2022, v2.2.10 $ ./tpl ?- N9 is 370370367037037036703703703670 / 123456789012345678901234567890. N9 = 3.0. ?- N9 is 370370367037037036703703703670 / 123456789012345678901234567890...

Missing rounding in float/1 for bigint argument

11

I get these results (note the 119042423827613008 is wrong): ``` /* Trealla Prolog 2.2.10 */ ?- X is 51^10, Z is float(X). X = 119042423827613008, Z = 1.19042423827613e+17. ?- Z...

Wrong result in (^)/2 bigint computation

3

According to Corrigendum 2 I guess the idea of the evaluable predicate `(^)/2` is to be exact for bigint arguments. But I find for example: ``` $ ./tpl -v Trealla...

Stack overflow in term_factorized/2

12

This is related to this ticket: https://github.com/SWI-Prolog/swipl-devel/issues/1159 An offending test case is: ``` /* SWI-Prolog 9.1.7 */ ?- T = s(s(T, S), _), S = s(S,T), term_factorized(T, _, _). ERROR:...

I just saw in the release notes: > Module js (0.3.2) > DEPRECATED: prop/[2-3] predicates (use get_prop/[2-3] instead). Is this still the case? Would it be possible to make this...

set_timeout/3 not anymore documented, its status?

1

If I check out this here, I don't find set_timeout/3 anymore documented: > **Operating System Interaction** http://tau-prolog.org/documentation#os On the other hand this still worked for me: ``` :- use_module(library(os)). call_later(G,...

Feature request cancellable futures

1

How would I go around with coroutines, and implement the following high level predicate: ``` first_solution(-X, :Goals, +Options) Try alternative solvers concurrently, returning the first answer. ``` Currently future_any/2 doesn't...