Jean-Luc-Picard-2021

My bad, was using wrong test cases. But when I use the most recent ones, I get these results: ``` %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Trealla Prolog 2.4.23 case3, trealla: 5 case4, trealla:...

Hi, I have streamline the test suite a little bit. Its now only 3-sets testing `float/1`, `(/)/2` and `(**)/2`. After git pull I get for your Prolog system: ``` $...

As of now I have float/1 conversion in the test case: ``` ?- case3(_, X, Y), Y =\= float(X). ``` Do you say I can remove it now? And query:...

Ok, float/1 can be removed. Closing the other ticket.

The new version of Trealla Prolog returns another value: ``` /* Trealla Prolog 2.4.23 Nok */ ?- X is float(166153499473114502559719956244594689). X = 1.66153499473114e+35. /* Trealla Prolog 2.7.15 Nok */ ?-...

Scryer Prolog has the same bug: ``` $ target/release/scryer-prolog -v "v0.9.1-151-g17450520" $ target/release/scryer-prolog ?- X is float(166153499473114502559719956244594689). X = 1.661534994731145e35. ?- Y = 1.6615349947311452e+35. Y = 1.6615349947311452e35. ?- X is...

The bug was introduced here 5 months ago when check_pi_list/2 was added? ``` handle_directive(ensure_loaded, DLst, _) :- !, check_pi_list(DLst, f), warn('ensure_loaded directive not supported - directive ignored', []). ```

Could it be that the distribution used **[Profile Guided Optimization](https://en.wikipedia.org/wiki/Profile-guided_optimization) (PGO)** to build it? If I am not totally mistaken SWI-Prolog has switched to PGO for its builds? On my...

The bug doesn't appear for other attributes, like here: ``` ?- file_property('\\foo\\f3.pl', last_modification(X)). X = dt(2023,10,14,17,16,14) ?- file_property('\\bar\\f4.pl', last_modification(X)). X = dt(2023,10,14,17,16,14) ``` It seems to use **stat** and not...

Come on the ticket is more than 2 years old, and you couldn't answer the question in the ticket? But you have time to reopen it? Whats wrong with Ciao...